chocoteam/
An open-source Java library for Constraint Programming
USD raised
Recent activities
Remove `buildFakeHistory` from `IEnvironment`
Confusing warning: "At least one constraint is free, i.e., neither posted or reified."
[BUG] unexpected behavior of "ift" (IfArExpression)
[BUG] Unfeasible solutions posting constraints where a real variable has to assume integer values
[BUG] `argmax` is not correct
[BUG] Element constraint for reals returns an array exception
[BUG]maven-shade-plugin + maven-test.yml
License
ConflictHistorySearch STEP/D constants may be wrong.
AutoDiffDetection#mustBeDifferent is costly
Misleading wrong upper / lower bound message ?
[BUG] Missing solutions when using custom strategy with ParallelPortfolio and argparse4j flag?
Regression (solution not found anymore with 4.10.7)
[BUG] Simple Arithmetic Expression without solution
[BUG] Issue with PropXplusYeqZ
Upgrate `SatSolver` to make `solve` possible
[BUG] removing calls to `monitors.unfreeze()` in fine grained propagators may lead to error
Settings.warnUser()
Merge `sat` module in `solver` module
[BUG] AbstractVariable.addMonitor performs a costly verification.
[BUG] ArrayIndexOutOfBoundsException when executing model.unpost() with constraints with reifications
`AbstractCriterionBasedStrategy` : make `weight(IntVar v)` returns `int`
Make `AbstractCriterionBasedVariableSelector` and extensions incremental
Remove `PropNogoods` and equip `PropSat` to *literalize* *anything*
Turn `AbstractCriterionBasedStrategy` into a `VariableSelector<IntVar>`
[BUG] fzn_regular predicate syntax error
Reintroduce Settings.cloneVariableArrayInPropagator()
Bug in PropNodeDegreeAtLeastIncr/PropNodeDegreeAtMostIncr
Store and give access to variable's instantiation event world index
[BUG] DomOverWDeg omits non-instantiated variables.
Allow saving an `IOperation` at any `worldIndex`
© 2019 BoostIO, Inc.
IssueHunt
