Provides a constraint programming Domain-Specific Language embedded in Scala
Moreover, Copris uses Sugar as a constraint solver. Sugar an award-winning solver in global categories of 2008 and 2009 International CSP Solver Competitions.
In addition, 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.
In a hurry? Add it to your Download Basket!
What's New in This Release:
- Implementation of PB encodings
- Bug fix of "Iff" in JSR331 translation