1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (326–343 of 343)

Title T P Status Votes Assignee Version Created Updated Actions
#308: Cannot use predicate with same name as type
Parser
bug minor new
#305: Theorie-stratificatie om efficientie te verbeteren
task minor new
#239: Prevent unnesting during generator creation
bug major new
#288: Allow search tracing re-using existing IDP infrastructure
Inferences
enhancement minor new
#295: Ignore Tseitin Symbol* created by IDP during mx
enhancement minor new
#271: Improve (distinction between) mx and mxpartial
Inferences
enhancement minor new
#303: Warnings in IDP
Parser
enhancement minor new
#298: The number of variables in the input (and internally) should be reduced as much as possible.
enhancement minor new
#296: LaTeX printing
proposal minor new
#293: XOR
Parser
task minor new
#292: Predicates and Formulas as Boolean functions
task minor new
#291: Improve lazy grounding size estimations using the estimations already in idp.
enhancement major new
#290: Allow subvocabularies in mx
Inferences
proposal major new
#286: Solving a grounded theory in Lua
proposal minor new
#276: Tseitins during grounding with cp
enhancement major new
#237: Groundtheory invariant on definitional context is not cleanly implemented
bug major new
#227: incomplete printing of char predicates
bug major new
#221: allow reparsing of .idp files
enhancement minor new
  2. 1
  3. 2
  4. …
  5. 9
  6. 10
  7. 11
  8. 12
  9. 13
  10. 14