1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (176–200 of 343)

Title T P Status Votes Assignee Version Created Updated Actions
#601: Disambiguate should be smarter
bug minor new
#599: tptp and constructors
bug major new
#550: Make a how-to release document
enhancement major new
#595: Approximatie + functions
enhancement major new
#577: Factlist range parsing bug
bug major new
#593: More natural models
Inferences
proposal minor new
#589: Inefficient generator for nqueens
enhancement major new
#579: Compiler maakt nogal veel assumpties
proposal minor new
#585: progression: implement verification
proposal minor new
#581: Progression: error messages
bug minor new
#575: ASP printer and quotes
bug major new
#574: ASP printer should remove capitals
bug major new 1
#572: make package should make IDE-compatible file
bug major new
#559: Sat method should call mx with empty output vocabulary
enhancement minor new
#545: Implement MX assumption improvements
enhancement minor new
#552: Option blocks are useless
enhancement trivial new
#554: Memory is not properly freed when grounding is aborted.
bug major new
#546: translateNonReduced has an incomplete name
enhancement minor new
#543: SPASS reference in unittests does not refer to the internally-built SPASS
bug minor new
#542: Builtin functions sometimes need structure to get an interpretation
bug major new
#538: Te grote generator voor satmx/constructed_lists.idp tests
bug minor new
#428: Issues with infinity
bug major new
#491: Grounding should handle partially interpreted functions better
enhancement major new
#536: Lazy grounding and constructed types
bug major new
#534: Evaluate known expressions before MX starts
enhancement major new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9
  11. 10
  12. 11
  13. 12
  14. 13
  15. 14