« Changelog History


JaCoP v3.1.1 Release Notes

    1. Changes to bo compatible with minizinc v. 1.3.
    2. New pruning methods for multiplication and division constraints, icluding div and mod.
    3. Bug fix in Among constraint.
    4. Bug fix in SmallDenseDomain.