Projects / Koalog Constraint Solver

Koalog Constraint Solver

Koalog Constraint Solver is a powerful constraint solver written in Java. It provides cutting-edge technology for solving satisfaction and optimization problems, including scheduling, time-tabling, resource-allocation, puzzles ( is powered by Koalog Constraint Solver), and configuration (Koalog Configurator is powered by Koalog Constraint Solver).

Operating Systems

Recent releases

  •  14 Dec 2005 17:57

    Release Notes: New constraints and heuristics have been added to Koalog Constraint Solver. There is now a generic mechanism to "shave" the variables. The naming scheme for the constraints is now more uniform. Finally, the performance of Koalog Constraint Solver has been improved.

    •  31 Aug 2005 17:52

      Release Notes: Real ANYTIME constraint solving has been introduced. A hierarchy of consistency exceptions allows basic failure explanations. Some new constraints have been added or optimized.

      •  04 Jul 2005 11:37

        Release Notes: New constraints have been added to the constraint library. The support matrix of the software has been updated. Minor bugs have been fixed.

        •  02 Feb 2005 17:35

          Release Notes: This release contains new constraints. In particular, a global constraint for matrix allocation has been added (ColoredMatrix). Various small fixes increase the overall performance of the solver.

          •  08 Nov 2004 10:06

            Release Notes: This version now includes a Local Search solver useful for solving huge problems when exact methods are too slow. Exact (Constraint Programming) and approximate (Local Search) methods are well integrated in the new hierarchy of solvers. This version is now supported on Java 5.


            Project Spotlight


            A Fluent OpenStack client API for Java.


            Project Spotlight

            TurnKey TWiki Appliance

            A TWiki appliance that is easy to use and lightweight.