1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (1–25 of 49)

Title T P Status Votes Assignee Version Created Updated Actions
#386: Unnesting not smart enough
bug major invalid
#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
#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
#658: one of the idptests fails
bug major duplicate
#654: Bug in lazy cp atoms
bug major open
#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
#594: Foutmelding
bug major on hold
#570: Buildbot op TheorySimplifier
MinisatID
bug major resolved
#568: Stackoverflow onder windows
bug major resolved
#567: Unsat core extraction bug
bug major resolved
#557: Bug in UNSAT core extraction
bug major invalid
#328: Update documentation for changed lua
bug major duplicate
#508: Autocompletion should know that it cannot autocomplete constructed types
bug major resolved
#506: Bug in cpsupported grounderfactory
bug major resolved
#349: Terugpropageren unit propagatie minisatid
enhancement major new
#484: Installing should not change source files (SPASS)
bug major resolved
#447: bug in cp grounding
cp-support
bug major resolved
  2. 1
  3. 2