Paris, France - December 2005 - Koalog announces the release of Koalog Constraint Solver v3.0. Koalog Constraint Solver (KCS) is a powerful Java library for Constraint Programming. It provides cutting-edge technology for solving satisfaction and optimization problems, including: scheduling, planning, routing, time-tabling, resource allocation, configuration and many others. KCS includes a solver on boolean, integer and set domains, many global constraints such as: AllDifferent, ColoredMatrix, Cumulative, Cycle, Disjunctive, Global Cardinality Constraint (GCC), LatinSquare, Permutation, Sort. Interesting features of KCS also include: ANYTIME constraint solving, SHAVING of variables, local search (useful for solving huge problems when exact methods are too slow). Visit http://www.koalog.com/php/jcs.php for documentation, code examples, KCS release notes. About Koalog: founded in 2002, headquartered in Paris, Koalog is a software company developing components and applications for problem solving, configuration, journey planning, leasing. Visit http://www.koalog.com for additional information.