1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (151–175 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#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
#852: Printer prints too much brackets
bug minor new
#848: Makefile Aanpassen voor Mac
bug minor resolved
#823: CP Support does not work well with division
bug major resolved
#855: XSB generators fail
bug major new
#829: Symbol is not declared in this scope
bug minor resolved
#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
#824: function detection overwrites original theory and function
bug minor resolved
#850: Create util that estimates whether a definition should be evaluated or not
proposal minor new
#854: assumeconsistentinput is not used consistently
bug major new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9
  11. …
  12. 39
  13. 40