1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (901–925 of 994)

Title T P Status Votes Assignee Version Created Updated Actions
#305: Theorie-stratificatie om efficientie te verbeteren
task minor new
#232: Generators: is it important that they generate from small to big?
task major duplicate
#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
#228: LUP can be optimized
BDDs
enhancement major resolved
#271: Improve (distinction between) mx and mxpartial
Inferences
enhancement minor new
#303: Warnings in IDP
Parser
enhancement minor new
#281: Variable only occurring in quantification
Parser
bug major resolved
#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
#284: Empty definitions should be allowed
Parser
bug major resolved
#272: Bdd with free variable is created during propagation
BDDs
bug major resolved
#246: Empty function interpretations
Parser
bug major resolved
#282: IDP catches bad_alloc
bug major invalid
#276: Tseitins during grounding with cp
enhancement major new
#279: "Encountered a bug"
bug major invalid
#256: Bounds generator not smart enough
bug major resolved
#268: Nqueens without definition better than with
bug major duplicate
#266: IDP throws unexpected exception (again)
bug minor resolved
  2. 1
  3. 2
  4. …
  5. 35
  6. 36
  7. 37
  8. 38
  9. 39
  10. 40