API changes:

• Renamed Range into InDomain.
• Renamed InRange into IsInDomain.
• Renamed Eq1 into Eq_1.
• Renamed Neq1 into Neq_1.
• Renamed Neq1_SPARSE into Neq_1SPARSE.

Version 2.6

Features:

• Optimized AllDifferent_SPARSE.
• New constraints: ColoredMatrix_SPARSE, Neq1, InRange, GreaterSum, SmallerSum.
• Real ANYTIME constraint solving.
• Introduced a hierarchy of consistency exceptions allowing basic failure explanations.

API changes:

• Constraint Inverse has been removed.
• The API of constraint Permutation has changed.
• Refactored solvers API and introduced TimeOutException.

Version 2.5

API changes:

• Renamed GCC into GCC_SPARSE.

Features:

• Updated support matrix.
• Added a script to test the version of the solver: bin/kcs.
• New constraints: GCC, Disjunction, Min, Max.

Bug fixes:

• 0021274: exception in Prod filtering algorithm (division by zero).

Version 2.4

Features:

• Added back constraints Dist, ColoredMatrix.
• New constraints: Eq1, Neq1_SPARSE.
• Various small optimizations.

Version 2.3

API changes:

• Methods for adding relations to a problem have been refactored (see JavaDoc).
• Array of values used by Range constraint has to be sorted.
• Domain heuristics AlternateOrderFrom{Min,Max}DomainHeuristic have been removed.
• Variable heuristic InverseOrderVariableHeuristic has been removed.
• Constraint IsGreater has been removed.
• Constraint method updateConstraints renamed into updateDependencies.

Features:

• Supported on Java 5.
• Addition of a local search solver: AdaptiveSolver.
• New constraints: Prod, Prime.
• The post method on BacktrackSolver allows to dynamically add constraints to the underlying problem.
• BacktrackSolver uses long instead of int to store backtrack and time counters.
• Constraints and problems are now identified by an id (see Log4J debug channel).
• Various small optimizations in BacktrackSolver.

Version 2.2

API changes:

• In scheduler: FixedTask removed, Task constructor modified.
• IsSmallerEq_3 replaced by a modified version of IsSmaller_3.

Features:

• Various optimizations in constraints, constraint schedulers, choice points.
• New constraint: Disjunctive.

Bug fixes:

• 0021155: BaseDomainHeuristic does not always generate the expected events.
• 0021163: Bug in filter method of Cumulative_AUX2 constraint.

Version 2.1

API changes:

• API for storing objects in the choice point stack: StorableReference, StorableValue.
• Added back init method on constraints.

Features:

• New constraints: IntersectionMaxSize, Partition.
• Cycle does not enforce Permutation anymore and has been optimized.
• New platforms-JDKs support matrix.

Version 2.0

API changes:

• Constraint scheduler API has been refactored.
• Problem does not extend Constraint anymore.
• New constraints: Atleast, Atleast_SPARSE (on integer variables, the corresponding constraints on boolean variables have been removed).
• Other constraints removed: Diff, Dist, IsSmallerEq, LessShift, Opp, ColoredMatrix, {Mul, Add, Shift}_SPARSE, AllDifferent_{NEQ, NEQSPARSE}.

Features:

• Choice points optimization.

Version 1.5

Features:

• New constraint: Relation.
• Constraint complexities are now dynamically computed.

Version 1.4_1

Bug fixes:

• 0021141: Installation failed in some cases with j2sdk1.4.x.

Version 1.4

Features:

• Solver on set variables.
• Many set constraints such as: Union, Intersection, Intersects, Contains, Card, ...
• New global constraints: ColoredMatrix, GCC (Global Cardinality Constraint).
• Various optimizations (computation speed) in constraints, and solvers.

Version 1.3

Features:

• Entailment check.
• Constraints now depend on events: ground, minChanged, maxChanged, ...
• New global constraint: Cumulative.

Version 1.2

Features:

• Various optimizations (memory usage and computation speed) in constraints, choice points and solvers.
• Problems can now be flat.
• New global constraints: Atmost, Sort, Inverse.

Version 1.1

Features:

• Constraint Cycle is now a problem.
• A ConstraintScheduler now schedules the constraints to be filtered.
• New constraints: {Leq, Less}Shift, Atleast, Atmost, Exactly.

Version 1.0

• First public version of Koalog Constraint Solver.