Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
scp [2011/07/22 17:38] philippe.suter |
scp [2011/07/22 19:38] (current) philippe.suter |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== SCP - Constraint Programming in Scala ====== | ====== SCP - Constraint Programming in Scala ====== | ||
- | * The sources of Kaplan bundled with Leon are available [[http://lara.epfl.ch/~psuter/kaplan-leon-07-2011.tgz|here]]. | + | * The sources of SCP (also known as Kaplan) bundled with Leon are available [[http://lara.epfl.ch/~psuter/kaplan-leon-07-2011.tgz|here]]. |
* You will need the [[http://research.microsoft.com/en-us/um/redmond/projects/z3/|Z3]] and [[https://github.com/psuter/ScalaZ3/|ScalaZ3]] libraries to compile and run the systems. | * You will need the [[http://research.microsoft.com/en-us/um/redmond/projects/z3/|Z3]] and [[https://github.com/psuter/ScalaZ3/|ScalaZ3]] libraries to compile and run the systems. | ||
* The related [[http://lara.epfl.ch/leon/|Leon]] verification system. | * The related [[http://lara.epfl.ch/leon/|Leon]] verification system. |