Please try Java with Cream. Although I personally prefer black coffee in real life... JAVA+CREAM=SOLVER What's New Copris (Constraint Programming in Scala) version 1.0.0 is released (August 28, 2011). Sugar version 1.14.6 became the winner in 3 categories out of 7 categories of the 2009 Fourth International CSP Solver Competition. A SAT-based Constraint Solver Sugar version 1.13 is repleased on Ju