Choco v4.10.3 Release Notes
Release Date: 2020-07-03 // over 3 years ago-
Multi-modules and JPMS-ready.
Major features:
- 🚚 Move
cutoffseq
,choco-sat
,choco-solver
,pf4cs
,choco-parsers
andsamples
projects into a (maven) multi-modules project - JPMS-ready
Choco-solver can now be run with either JDK 8 or JDK 9+.
➕ Additions
- ➕ Add Conflict History Search ("Conflict history based search for constraint satisfaction problem." Habetand Terrioux,SAC 19 (#676)
- ➕ Add dom/wdeg with refinement ("Refining Constraint Weighting." Wattez et al. ICTAI 2019.)
- 0️⃣ Default AC algorithm for
AllDifferent
is now from IJCAI-18 "A Fast Algorithm for Generalized Arc Consistency of the Alldifferent Constraint", Zhang et al. (#644) - ➕ Add a pure java alternative to Ibex (#666)
- LNS can now be defined with a solution as bootstrap.
- ➕ Add simplify API for current Solver operations (#659)
- Simplify code for the nValues constraint (using a watching/witnessing reasoning) (#674)
- Replace former Bin Packing propagators by Paul Shaw propagator (#671)
- 🐎 Improving PropDiffN performance (#663)
- ➕ Add nogood stealing for
ParallelPortfolio
(#669) - ➕ Adding of new constructors for Task objects (#662)
Removals
- ✂ Remove JSON writer/parser (which was actually partially supported and not maintained) (#664)
🚀 Deprecated API (to be removed in next release):
Task(IntVar s, IntVar d, IntVar e, boolean declareMonitor)
AbstractProblem.readArgs(String... args)
Other closed issues and pull requests:
#617, #633, #637, #639, #645, #646, #647, #648, #658, #665, #667, #678, #682, #686, #689, #691
- 🚚 Move