chocoteam/choco-solver

An open-source Java library for Constraint Programming