| Type | Changements | Par |
|---|
| Update class file headers. | Charles Prud'homme |
| Update website (download page, etc) and documenation. | Charles Prud'homme |
| Add new APIs for global cardinality constraint: add the list constrained values (JSR331).
Add limit on number of solutions (JSR331). Corrige 3150237. | Charles Prud'homme |
| Add few improvments on SET constraints (masks, promotion, opposite(), etc). Corrige 3150243. | Charles Prud'homme |
| Integration of the scheduling preprocessor. | Arnaud Malapert |
| Changed names of the cost regular family constraints, add new Automaton interface, add new CostAutomaton
interface, add new CostAutomaton bounds prefiltering to CR and MCR, add new Choco.costRegular and
Choco.multicostregular API. | Julien Menana |
| Flatten module dependencies (requires "mvn install" command). | Charles Prud'homme |
| Add CP-Visu trace generator (AOP) + documentation. It replaces the old OADymPPAC module. Corrige 3150247. | Charles Prud'homme |
| Add CNF package to simply declare boolean formulas to be used with Choco.clauses() API. Corrige 3150250. | Charles Prud'homme |
| Add new constraints on set variables (ComplementSet, InverseSet, SetLex, SetValuePrecedence). Corrige 3160016. | Narendra Jussien |
| Update list of availamble detectors. | Charles Prud'homme |
| choco-visu is not yet instrusive, fix restriction on LightFormater.lineSeparator (for Android dvt),clone
constraints in MetaConstraint, update clear method on CPSolver,add the possibility to remove dynamically
posted constraint on root node | Charles Prud'homme |
| unify parameters name of temproal constraints Choco.*. | Arnaud Malapert |
| boolsum, implementation of #awake() to check parameters, define BoolSumStructure#forceAllOne() (and
#forceAllZero()) Corrige 3163433. | Charles Prud'homme |
| domain consistency:
> already correct constraints: Lexchain, atmostnvalue, exactly, occurrence,
absolute, distanceXYC, distanceXYZ, element2D, equalXYC, equalX_YX, maxXYZ, minXYZ, moduloXYC2,
notEqualXYC, NotEqualXY_C, not member bound, signop, boolean channeling, inverset
> fix behaviour in the following constraints: amongGAC, boundAllDiff, boundgccvar, increasingNValue,
multiCostRegular, SoftMultiCostRegular, FastRegular, packSconstraint, tree, elementG, elementV,
elementVG, inversechanneling, memberenum, notmemberenum, domain channeling, AC2001bin, AC3Bin, AC3rmBin,
AC3rmBitBin, CSPLarge, FCPBin, GAC2001Large, GAC2001Positive, GAC3rmLarge, GAC3rmPositiveLarge,
GACPositiveLarge, AmongSet, MemberXY and NotMemberXY
> other: geost (seems ok), alldifferent (requires too much modifications), globalcardinality (same as
alldifferent), regular (not yet default constraint) Corrige 3201893. | Charles Prud'homme |
| fix bugs in iterator //could be slower.... but now this part is really thread safe Corrige 3092180. | Charles Prud'homme |
| Update samples module (and samples.tutorials.applet.DemoFrame), add python script for Minizinc
(src/shell/). | Charles Prud'homme |
| fix Corrige 3297805. | Charles Prud'homme |
| add IncreasingSum + inverseChannelingWithinRange constraints | Thierry Petit, Narendra Jussien |
