1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (26–50 of 74)

Title T P Status Votes Assignee Version Created Updated Actions
#495: Incorrect query results when dependent on function constraints.
bug major resolved
#464: getInverseTable optimization for bdds
enhancement major new
#411: Invalid propagator domain
bug minor resolved
#373: Bug in approximation with domainelements in builtins
bug minor resolved
#326: Creating grounding very slow for attached file => bdd changes to blame?
bug critical resolved
#118: Generators for arithmetic: order of generation
BDDs
bug major resolved
#341: Domain-element comparison crashes propagator
bug major duplicate
#368: Merging interpretations of types may result in unsat
bug minor new
#168: Transformations and options
bug major resolved
#184: Shared tseitin cost AND push quant effect of BDD rewriting
bug major new
#187: Very large bdds
bug major resolved
#119: Aggregates in BDDs
BDDs
task major resolved
#194: split option groundwithbounds
task major resolved
#191: Lua printen: queries en terms
bug major resolved
#185: BDD typing bug
bug major resolved
#41: Calculating known definitions
Testing
task major resolved
#36: Float, string
Testing
task blocker resolved
#76: Commands changing input
bug major resolved
#47: Propagatie
Testing
task major resolved
#24: Negative and zero weights in product sets
Grounding
bug major resolved
#58: Bug in generating all 2-valued models when there are arbitraries with bounds
bug major resolved
#53: Enum setexpression
bug major resolved
#140: Querying TODO
BDDs
task major resolved
#13: BDD Bug
bug major resolved
#51: FO-propagatie
task major resolved
  2. 1
  3. 2
  4. 3