Copris 2.2.5

Provides a constraint programming Domain-Specific Language embedded in Scala

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!

What's new in Copris 2.2.5:

  • Implementation of PB encodings
  • Bug fix of "Iff" in JSR331 translation
Read full changelog
report
malware
send us
an update
LICENSE TYPE:
BSD 
FILE SIZE:
3.9 MB
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
Naoyuki Tamura
CATEGORY:
Home \ Developer Tools
1 Copris Screenshot:
Copris
Copris is a free and open-source utility which provides a constraint programming DSL (Domain-Specific Language) embedded in Scala language.

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.

Last updated on July 8th, 2014

Runs on: Mac OS X (-)

requirements

#constraint programming #Domain Specific Language #SAT solver #constraint #programming #Domain Specific #Language

Add your review!

SUBMIT