jOpt, a Java-based implementation of the OPL (Optimization Programming Language), has made major progress by releasing a stable version of its Constraint Satisfaction Problem (CSP) Solver and an alpha version of its Scheduling Solver.
CSP Release 1.0 contains a relatively stable implementation of a constraint satisfaction problem solver drawing on research from both the artificial intelligence and operations research fields. It includes extensible expression building and constraint creation, arc consistency tools, and a flexible searching structure with backtracking capabilities.... read more