1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (26–50 of 85)

Title T P Status Votes Assignee Version Created Updated Actions
#570: Buildbot op TheorySimplifier
MinisatID
bug major resolved
#568: Stackoverflow onder windows
bug major resolved
#567: Unsat core extraction bug
bug major resolved
#561: MX generates too many models
bug minor resolved
#548: Bug in Mac
bug critical duplicate
#557: Bug in UNSAT core extraction
bug major invalid
#541: To temporary resolve some bison-flex problems on older machines, disable minisatid executable building when building idp.
enhancement minor wontfix
#195: Division and modulo are partial functions
bug minor resolved
#430: Memory overflow with CP support
cp-support
bug minor resolved
#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
#493: Timings are wrong
bug minor resolved
#484: Installing should not change source files (SPASS)
bug major resolved
#447: bug in cp grounding
cp-support
bug major resolved
#429: Timeout with CP-support
cp-support
bug minor resolved
#441: Grounding to conditional sums and products
cp-support
task major resolved
#445: Conditional aggregates are still buggy
bug major resolved
#426: seg fault in solver
MinisatID
bug minor resolved
#379: Type detection with theorem prover
proposal major new
#285: Variable running time when doing modelexpand several times
bug major resolved
#275: Duplicate specification does not throw an error
bug major resolved
#258: Sort autocompletion does not work for asp_structures
bug critical resolved
#75: Refactord .idprc file into a real idpfile (with a useful name)
enhancement minor resolved
  2. 1
  3. 2
  4. 3
  5. 4