JaCoP is a Java Constraint Programming solver. It provides a significant number of (global) constraints to facilitate efficient modeling of combinatorial problems, as well as modular design of search. Documentation is available at project Web site.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.