1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (151–175 of 343)

Title T P Status Votes Assignee Version Created Updated Actions
#663: Checkconsistency not smart enough
bug major new
#501: Less grounding by (syntactix/semantic) shared Tseitin introduction.
enhancement major new
#659: approximating definitions generates TRUE/FALSE atoms multiple times
enhancement minor new
#651: default approximation cannot handle some packing problem instances
bug major new
#649: Definitions need approximation and recursion check!
bug major new
#647: Unnesting does not respect our semantics!
bug major new
#645: Input both on the inputstream and as arguments
bug minor new
#644: Problem with includes and multiple files
bug major new
#643: Communication aspects of interactive mode to stderr
proposal minor new
#641: Valgrind complains about createDomElem
bug trivial new
#638: Interpretation of (constructed) terms is not checked for types
bug minor new
#637: Merging theories over different vocabularies with different sorts with the same name produces a segfault
bug major new
#634: non-domainelement changes definition
bug major new
#421: Warning: Autocompleting structure
enhancement minor new
#625: Allow ! x y sat \varphi(x,y) without brackets
bug major new
#621: extract the arity from function name
enhancement trivial new
#624: Extract string -> alphanumeric from XSB/entailment and reuse
enhancement major new
#622: Component disambiguation is wrong
bug minor new
#597: Push quantifiers down is too strict.
enhancement major new
#245: Interpretation management
enhancement major new
#619: UnionSortIterator clone incorrect
bug minor new
#614: Search algorithm should use grounder translator
enhancement major new
#605: CPsupport for division
enhancement major new
#604: Inefficient definition evaluation, both without AND with xsb
bug major new
#602: Memory issue in BDDs. Probably related to arithmetic.
bug critical new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9
  11. 10
  12. 11
  13. 12
  14. 13
  15. 14