1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (351–375 of 389)

Title T P Status Votes Assignee Version Created Updated Actions
#243: rungidl should be renamed
bug major resolved
#213: Aggform not handled in unnestthreevalued
bug major resolved
#230: LUP on !x y: P(x, y) => Q(0, x, y).
bug major resolved
#225: Symmetry breaking is broken
bug major resolved
#223: Propagation derives very little
bug major resolved
#218: Segmentation fault on printing structure
bug major resolved
#208: gtestparser output
enhancement major resolved
#205: make check does not report segfaults
Testing
bug major resolved
#197: Bug in converting sum to cp constraint
enhancement major resolved
#198: Insert segfauls on an enumset where some predicate symbol is not declared
bug major resolved
#178: Quantification in definitions
bug major resolved
#108: Sharing of introduced variables
Grounding
enhancement major resolved
#121: Symmetry
task major resolved
#162: Documentatie
task major resolved
#161: Move grounding code out of mx
task major resolved
#154: Warning: Derived sort
bug major resolved
#151: FO(.) namespace management
proposal major resolved
#19: [MINISATID] option for maximum number of learned clauses
enhancement major resolved
#20: [MinisatID] OPB parser error
bug major resolved
#11: Propagatie voor partieel geinterpreteerde relaties
enhancement major resolved
#16: Can optimize sorts of arithmetic expressions on bounded types
proposal major resolved
#131: Memory management of BDDs and generators
BDDs
task major resolved
#137: Throw warning on sorts with an empty interpretation
Parser
bug major resolved
#143: Parser and lua blocks
Parser
bug major resolved
#144: Comments in parser
Parser
bug major resolved
  2. 1
  3. 2
  4. …
  5. 11
  6. 12
  7. 13
  8. 14
  9. 15
  10. 16