Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
scp [2011/07/22 17:37] philippe.suter |
scp [2011/07/22 19:38] 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. |