Copris 2.0.0

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.

Requirements:

· Java JRE 6 or higher
· Scala 2.9 or higher
· Sugar
· a SAT solver

What's New in This Release: [ read full changelog ]

· Using Sugar version 2