Copris is a free and open-source utility which provides a constraint programming DSL (Domain-Specific Language) embedded in Scala language.
Copris uses Sugar as a constraint solver. Sugar an award-winning solver in global categories of 2008 and 2009 International CSP Solver Competitions.
Copris is cross-platform and it works on Mac OS X, Windows and Linux.
Detailed instructions on how to install and use the Copris utility on your Mac are available HERE.
· Java JRE 6 or higher
· Scala 2.9 or higher
· a SAT solver
What's New in This Release: [ read full changelog ]
· Using Sugar version 2