1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (226–250 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#818: Problog : negative literals and their weights
bug major resolved
#749: Enable solver simplifier by default if no lazy grounding is done
enhancement major resolved
#753: Add Output vocabulary to allmodels and onemodel procedures
enhancement minor resolved
#796: If one declares a sort as empty it cannot be autocompleted
bug major resolved
#814: Segfault when printing voc
bug major resolved
#812: BDD's generating all strings
bug major open
#810: Skolemization violates its own invariant
bug major new
#809: Bug in testframework
bug major new
#808: Lazy grounding assert fail
bug major new
#805: Propagation is VERY bad
bug minor new 1
#806: Debug mode broken: Preconditions in XSB code violated
bug major resolved
#792: Splitting definitions is too expensive without xsb
bug major resolved
#803: IDP installation changes source files (blame XSB)
bug major new
#790: Bad Function generation
bug major resolved
#738: Auto-overcompletion
bug major resolved
#743: Unsatcore features
enhancement minor resolved
#566: Overloaded predicates with different arities
bug minor new
#200: Printing of procedures
task major new
#756: History file management is nog altijd niet goed
bug major resolved
#798: Huge bug in recursive aggregates
bug major new
#797: modelexpansion in a procedure interpretation goes wrong
bug major new
#789: Approxdefs crashes
bug minor new
#795: Currently xsb_compiler.P's built-in type for char returns too much
task minor new
#791: Multiple models solver bug
bug major new
#98: Additional inference: check satisfiability
Inferences
enhancement major duplicate
  2. 1
  3. 2
  4. …
  5. 8
  6. 9
  7. 10
  8. 11
  9. 12
  10. 13
  11. …
  12. 39
  13. 40