1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (76–100 of 688)

Title T P Status Votes Assignee Version Created Updated Actions
#913: XSB and SPASS install not working on Fedora
bug major resolved
#918: Installation on Ubuntu 16.04 fails
bug major resolved
#920: XSB and infinite domains bug
bug major on hold
#919: There should be a maximize inference in addition to minimize
enhancement major resolved
#905: explainunsat output structure not maximally imprecise
bug major resolved
#609: Unsatisfiability bug due to symmetry breaking
bug major resolved
#556: Error with symmetry breaking
bug major resolved
#126: Symmetrybreaking should work for sorts over (subsets of) builtins
enhancement major resolved
#912: two valued extensions voor constructed types werken niet
bug major closed
#917: Model expansion does not detect inconsistencies related to function symbols (bad Lua interaction)
bug major new
#916: Rare Commentaar
bug major new
#915: Lua: errors vs messages
enhancement major new
#911: Equality over Structures
bug major resolved
#908: Oefenzitting 5 oefening 2
bug major invalid
#907: Internal error in approximation
bug major new
#906: Segfault in LTC theory transformations when invalid input is presented
bug major new
#904: printcore complaining about inconsistent structure
bug major new
#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
#895: Constructed types are not properly cloned
bug major new
#875: Problem with interpreted types
bug major new
#893: approximation wrong
bug major new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. …
  9. 27
  10. 28