1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (951–975 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#211: Move location of idp-docs on install (is now share/minisatid)
enhancement minor 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
#127: deriveTermBounds cause segfault
bug major invalid
#136: Bug in finding out all opens of a definition are two-valued
bug major invalid
#151: FO(.) namespace management
proposal major resolved
#25: [Theorem proving] TPTP web service
proposal major invalid
#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
#134: Segfault op MAX[:int]
bug major invalid
#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
#139: add command to include std files interactively
enhancement major resolved
  2. 1
  3. 2
  4. …
  5. 35
  6. 36
  7. 37
  8. 38
  9. 39
  10. 40