Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
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.