1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (451–475 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#551: Printing <cf> and <u> should not be allowed for two-valued structures
enhancement critical 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
#602: Memory issue in BDDs. Probably related to arithmetic.
bug critical new
#601: Disambiguate should be smarter
bug minor new
#600: cmake in minisatid: empty include_directory
bug minor resolved
#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
#598: Lazy tests and memory management
enhancement minor resolved
#596: Autocompletion completes user-defined types
bug major resolved
#562: IDP 3.1.1 op Mac (en Win8?)
bug minor resolved
#588: Bug in generator creation
bug critical resolved
#595: Approximatie + functions
enhancement major new
#594: Foutmelding
bug major on hold
#577: Factlist range parsing bug
bug major new
#593: More natural models
Inferences
proposal minor 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
#583: factlist parsing is much too slow
bug major resolved
#579: Compiler maakt nogal veel assumpties
proposal minor new
  2. 1
  3. 2
  4. …
  5. 17
  6. 18
  7. 19
  8. 20
  9. 21
  10. 22
  11. …
  12. 39
  13. 40