CPSolver

Constraint Solver Project Page