1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (1–25 of 85)

Title T P Status Votes Assignee Version Created Updated Actions
#727: Unique output models when using output vocabulary
bug minor resolved
#386: Unnesting not smart enough
bug major invalid
#773: Set grounding throws exception if term is partial
bug minor resolved
#743: Unsatcore features
enhancement minor resolved
#98: Additional inference: check satisfiability
Inferences
enhancement major duplicate
#397: Bug in functiondetection
bug major resolved
#750: Minimization doesn't finish
bug major resolved 1
#723: Memory issues
bug major new
#747: Check whether equals works with ints and strings.
enhancement major resolved
#732: Comparing the content of Lua tables is not supported
enhancement major resolved
#728: Model invalidation with outputvoc
bug minor duplicate
#718: Maketrue/makefalse behave unintuitively
bug minor resolved
#708: post processing definitions leading to invalid code path error
bug major invalid
#701: Cp does only a partial job of allowing nested function terms
bug major new
#697: cpsupport=true creating extra (invalid?) models
bug minor resolved
#673: Building IDP 3.2.1 from source fails
bug minor resolved
#658: one of the idptests fails
bug major duplicate
#654: Bug in lazy cp atoms
bug major open
#467: groundsize&& is not printed when unsat is detected during grounding
bug trivial resolved
#304: CP support voor functies in aggregaten
enhancement minor resolved
#27: [Inference] Model expansion with output vocabulary
Inferences
enhancement major resolved
#611: Segfault in grounderfactory
bug major resolved
#469: type autocomplete not recursive
bug major resolved
#598: Lazy tests and memory management
enhancement minor resolved
#594: Foutmelding
bug major on hold
  2. 1
  3. 2
  4. 3
  5. 4