1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (326–350 of 688)

Title T P Status Votes Assignee Version Created Updated Actions
#618: Stackoverflow on recursive constructed types
bug major resolved
#597: Push quantifiers down is too strict.
enhancement major new
#245: Interpretation management
enhancement major new
#620: approxEmpty for constructedinternalsorttables is wrong
bug major resolved
#27: [Inference] Model expansion with output vocabulary
Inferences
enhancement major resolved
#611: Segfault in grounderfactory
bug major resolved
#586: IDP suddenly stops printing
bug major invalid
#614: Search algorithm should use grounder translator
enhancement major new
#608: Quoted strings are parsed incorrectly if they start with a number
bug major resolved
#576: Progression: static formulas
bug major resolved
#607: Unsatisfiable subset due to time in Project MCS
bug major invalid
#605: CPsupport for division
enhancement major new
#604: Inefficient definition evaluation, both without AND with xsb
bug major new
#563: IDP 3.2.0 on windows 8.1
bug major resolved
#599: tptp and constructors
bug major new
#550: Make a how-to release document
enhancement major new
#469: type autocomplete not recursive
bug major resolved
#596: Autocompletion completes user-defined types
bug major resolved
#595: Approximatie + functions
enhancement major new
#594: Foutmelding
bug major on hold
#577: Factlist range parsing bug
bug major new
#525: Progression does not work with constructed types
bug major resolved
#533: Constructors are builtin
bug major resolved
#591: Unexpected unsatcore
bug major resolved
#589: Inefficient generator for nqueens
enhancement major new
  2. 1
  3. 2
  4. …
  5. 12
  6. 13
  7. 14
  8. 15
  9. 16
  10. 17
  11. …
  12. 27
  13. 28