JaCoP v3.1.2 Release Notes

  • ๐Ÿš€ The release of JaCoP version 3.1.2 fixes several bugs and makes JaCoP compatible with minizinc v.1.4.

    1. Compatibility changes for minizinc 1.4.
    2. Bug fix of reification in several primitive set constraints that made pruning working correctly.
    3. New method for pruning length of rectangles in Diff/Diff2 constraints. ๐Ÿ›  4. Several small bug fixes.
    4. Bug fix in search to make limit on a number of solutions work correctly (specially for sequence search).