4.10.0

Check CHANGELOG file to see the details.

4.9.0

preparing release-4.9

JaCoP 4.8.0

Please read the CHANGELOG.

JaCoP 4.0.0

Version 4.0.0

1. Maven support and new directory structure. The package has changed name from JaCoP to org.jacop and files are placed in the new directory structure.
2. Experimental feature - stochastic variables and constraints - is moved to feature branch as it still requires additional testing. It is excluded from this release, but we encourage contribution in this branch (examples/tests in particular) to help us make it quicker a part of the next release.
3. Experimental feature SAT solver - JaSAT - is moved to experimental feature branch as its performance and integration with JaCoP still requires extra work. It is excluded from this release, but we encourage contribution in this branch to help us make it quicker a part of the next release.
4. Adding constraint SumWeightDom that implements domain consistency for weighted sum of linear terms.
5. New primitive constraint Linear and its use in flatzinc.
6. New global constraint Subcircuit.
7. Adding additional propagation to Min and Max constraint. It propagates in situations when one variable on the list is lowest (greatest). It enforces that this variable from the list is equal min (max) variable.
8. Print of statistics for flatzinc (org.jacop.fz.Fz2jacop) after Ctrl-C.
9. Updated JaCoP guide to reflect new features.
10. Bug fixes.