1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (626–650 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#387: Transform equivalences into definitions
XSB
enhancement minor new
#425: Update to new XSB version
XSB
task major resolved
#426: seg fault in solver
MinisatID
bug minor resolved
#388: xsb is too slow
XSB
bug major resolved
#361: Syntactic equality check
enhancement major new
#411: Invalid propagator domain
bug minor resolved
#406: Improve definition-evaluation by grounding using approximation
enhancement major new
#420: XSB incorrect for approxdef
XSB
bug major resolved
#413: Double Error message when improperly using string in a theory
Parser
bug minor resolved
#277: Segmentation fault when using nested namespaces
Garbage collection
bug minor open
#404: Adapt documentation to include XSB
task minor resolved
#389: XSB crashes
bug major resolved
#380: Add regression tests for XSB
XSB
task major resolved
#401: using xsb results in segmentation fault
bug major wontfix
#321: Printing of doubles: precision
bug major resolved
#416: Allow open input predicates to be represented by ranges
enhancement major new
#415: Unwanted "Removing incomplete tables..." messages
XSB
bug minor resolved
#412: IDP2 faster than IDP3 for Hamiltonian Path problem
enhancement major duplicate
#414: Negation handling in recursive definitions.
bug critical new
#357: Creating the completion should not graph functions.
bug minor resolved
#364: Theorem proving interface should translate cardinalities etc to FO
enhancement minor resolved
#410: Printing as ASP structure is done on one line
bug minor invalid
#408: SPASS interface cannot handle " ' " symbol
bug minor new
#407: Printing as ASP structure does not print all predicate symbols
bug major resolved
#405: Provide verbosity for XSB
task minor resolved
  2. 1
  3. 2
  4. …
  5. 24
  6. 25
  7. 26
  8. 27
  9. 28
  10. 29
  11. …
  12. 39
  13. 40