C HOCO A Constraint Programming System Suzette Person CSCE 821 Spring 2008 1.
Choco A Constraint Programming System