1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (51–75 of 389)

Title T P Status Votes Assignee Version Created Updated Actions
#911: Equality over Structures
bug major resolved
#902: XSB bites the dust again
bug major resolved
#793: Buildbot: compile without xsb
bug major resolved
#900: CP vs function constraints
bug major resolved
#896: Model iterator terribly fails with cp on
bug major resolved
#897: Model Expansion fails terribly
bug major resolved
#885: larger domain leads to fewer solutions
bug major resolved
#863: merging structures
bug major resolved
KRR
#763: Merging Structures
bug major resolved
#858: printcore does nothing
bug major resolved
#847: Create e-mail alias for IDP devs
proposal major resolved
#737: Unsatcore extraction bug
bug major resolved
#375: Generating functions <-> predicates
bug major resolved
#857: Bug in XSB: recursion over negation
bug major resolved
#781: XSB support is not available. Option xsb is ignored
bug major resolved
#807: Bad Assert regarding double/strings?
bug major resolved
#823: CP Support does not work well with division
bug major resolved
#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
#635: Approxdef fails
XSB
bug major resolved
#830: Function verification checks input WAAY to often
bug major resolved
#825: Error: Solver was aborted with message "Invalid code path"
bug major resolved
#726: Constness problems in definition evaluation
bug major resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. …
  9. 15
  10. 16