1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (626–650 of 688)

Title T P Status Votes Assignee Version Created Updated Actions
#291: Improve lazy grounding size estimations using the estimations already in idp.
enhancement major new
#290: Allow subvocabularies in mx
Inferences
proposal major 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
#265: Unnesting is incorrect in the case of x-x2
bug major resolved
#267: Long runtime with no solution for trivial code
bug major invalid
#260: Nqueens.idp groundwithbounds performance issue
enhancement major resolved
#261: Segment fault (Core dump)
bug major resolved
#254: Optimize getting inverse of predtable
enhancement major resolved
#252: ToString for shared pointers.
bug major resolved
#243: rungidl should be renamed
bug major resolved
#237: Groundtheory invariant on definitional context is not cleanly implemented
bug major new
#213: Aggform not handled in unnestthreevalued
bug major resolved
#230: LUP on !x y: P(x, y) => Q(0, x, y).
bug major resolved
#227: incomplete printing of char predicates
bug major new
#225: Symmetry breaking is broken
bug major resolved
#223: Propagation derives very little
bug major resolved
#218: Segmentation fault on printing structure
bug major resolved
#208: gtestparser output
enhancement major resolved
  2. 1
  3. 2
  4. …
  5. 23
  6. 24
  7. 25
  8. 26
  9. 27
  10. 28