Koalog Constraint Solver^TM

What is Koalog Constraint Solver^TM?

Koalog Constraint Solver^TM is a powerful Java^TM library for solving combinatorial optimization problems using Constraint Programming or Local Search.

It provides cutting-edge technology for solving satisfaction and optimization problems, including:

• scheduling: Koalog Constraint Solver^TM provides a specific API for disjunctive scheduling;
• planning;
• time tabling;
• resource allocation;
• configuration: Koalog Configurator^TM is powered by Koalog Constraint Solver^TM;
• puzzles: sudoku.koalog.com is powered by Koalog Constraint Solver^TM.

Koalog Constraint Solver^TM includes a solver on boolean, integer and set domains, many global constraints such as: AllDifferent, ColoredMatrix, Cumulative, Cycle, Disjunctive, GCC (global cardinality constraint), LatinSquare, Permutation, Sort.

Koalog Constraint Solver^TM allows ANYTIME constraint solving. It also includes a local search solver.

Samples

Check out how Koalog Constraint Solver^TM can solve various combinatorial problems. Each of the problems provided contains a main method that allows you to simply run the problem (assuming that Koalog Constraint Solver^TM librairies and the problem classes are in the classpath):

java -Xms256m -Xmx256m com.koalog.jcs.examples.XXXProblem <path to a log4j properties file>

A sample log4j properties file is given in Koalog Constraint Solver^TM tutorial and is also available here: Properties file (1kb).

Detailed academical & industrial problems

Simple problems

• the crypto-arithmetic puzzle ALPHACIPHER - Java file (7kb) [view],
• the crypto-arithmetic puzzle DONALD+GERARD+ROBERT - Java file (3kb) [view],
• the crypto-arithmetic puzzle SEND+MORE=MONEY - Java file (3kb) [view],
• the crypto multiplication problem - Java file (8kb) [view],
• the unknown multiplication problem - Java file (6kb) [view],
• a fractions problem - Java file (5kb) [view],
• the Zebra problem - Java file (5kb) [view],
• the famous 8-QUEENS problem - Java file (3kb) [view],
• the Sudoku problem - Java file (5kb) [view],
• the Knight problem - Java file (3kb) [view],
• the magic hexagon problem - Java file (5kb) [view],
• the magic square problem - Java file (4kb) [view] - and its solvers - Java file (2kb) [view] or Java file (5kb) [view],
• the magic sequence problem - Java file (3kb) [view],
• an instance of the famous Knapsack problem - Java file (3kb) [view] - and its maximizer - Java file (2kb) [view],
• a set partition problem - Java file (2kb) [view],
• the ternary Steiner problem - Java file (3kb) [view],
• the Balanced Incomplete Block Design problem - Java file (4kb) [view],
• the quasigroup (QG5) problem - Java file (6kb) [view].

Documentation

The following documentation about Koalog Constraint Solver^TM is available for download:

• An overview of Koalog Constraint Solver^TM - (27kb),
• Koalog Constraint Solver^TM tutorial - (102kb),
• Koalog Constraint Solver^TM API documentation - Jar file (1060kb).

The following talk (NII, Tokyo, 2004) also gives a good overview of Koalog Constraint Solver^TM: (126kb).

Release Notes

Get Koalog Constraint Solver^TM

To get commercial information about Koalog Constraint Solver^TM, please contact our sales team.