1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (126–150 of 688)

Title T P Status Votes Assignee Version Created Updated Actions
#868: simulate interactive should not give all models
bug major new
#867: Entails can't handle multiple symbols with the same name and different arities
bug major new
#864: Definition isn't postprocessed
bug major invalid
#801: Autocompletion and verification of function constraints still too slow
bug major new
#861: Calculating definitions results in three-valued structure
bug major invalid
#860: tests don't build on windows
bug major new
#859: Lazy grounding produces non-wellfounded model
bug major open
#737: Unsatcore extraction bug
bug major resolved
#375: Generating functions <-> predicates
bug major resolved
#849: Lua interfaces gives users too much freedom
bug major open
#857: Bug in XSB: recursion over negation
bug major resolved
#781: XSB support is not available. Option xsb is ignored
bug major resolved
#788: Grounder produces recursive CP terms
bug major new
#742: Unsatcore unclear explanation
bug major invalid
#386: Unnesting not smart enough
bug major invalid
#807: Bad Assert regarding double/strings?
bug major resolved
#823: CP Support does not work well with division
bug major resolved
#855: XSB generators fail
bug major new
#856: Refactor CP-grounding code
bug major new
#853: Parsing Card Enumsets
bug major resolved
#765: Printing sums
bug major resolved
#437: XSB support for recursion over negation
XSB
task major resolved
#677: Segfault when forgetting isa int
bug major resolved
#854: assumeconsistentinput is not used consistently
bug major new
#339: Definitions with negative recursion leads to incorrect Prolog program
XSB
task major duplicate
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. …
  11. 27
  12. 28