1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (226–250 of 688)

Title T P Status Votes Assignee Version Created Updated Actions
#758: Approximation going awry?
Grounding
bug major invalid
#759: xsb option is used inconsistent
bug major new
#755: Segfault on empty type
bug major invalid
#752: modelexpand with output vocabularium
task major new
#750: Minimization doesn't finish
bug major resolved 1
#751: (non-inductive) defined functions and cpsupport
bug major new
#723: Memory issues
bug major new
#719: Function constraints and postprocessing
bug major resolved
#748: CP variable unnesting should use inequality wherever possible
enhancement major new
#452: Search abort should still return the best model found during optimization
bug major resolved
#747: Check whether equals works with ints and strings.
enhancement major resolved
#744: Unnestterms crashes on comparison between related types without common supertype
bug major new
#745: Another case of approximation not always finding the correct generator
bug major new 1
#741: Modelexpand result should not be dependent on clean structures
bug major new
#732: Comparing the content of Lua tables is not supported
enhancement major resolved
#736: Lua documentation interface
enhancement major new 2
#613: Lua: changing the value of a function
bug major new 2
#734: LUA Functions
bug major duplicate
#731: including contents of other file conflicts with standard libs
bug major resolved
#725: Disambiguation gone wrong
bug major new
#696: cpsupport changes optimal value
bug major resolved
#628: Overloaded symbols are not properly deleted
bug major new
#702: Segfault for some nested aggregate terms in queries
bug major resolved
#722: Querying with BDDs
bug major resolved
#516: Querying with nested aggregates is incorrect
bug major resolved
  2. 1
  3. 2
  4. …
  5. 8
  6. 9
  7. 10
  8. 11
  9. 12
  10. 13
  11. …
  12. 27
  13. 28