Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision Last revision Both sides next revision | ||
|
scp [2011/07/13 12:07] philippe.suter created |
scp [2011/07/22 17:38] philippe.suter |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== SCP - Constraint Programming in Scala ====== | ====== SCP - Constraint Programming in Scala ====== | ||
| - | The related [[http://lara.epfl.ch/leon/|Leon]] verification system. | + | * The sources of 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. | ||
| + | |||
| + | * The related [[http://lara.epfl.ch/leon/|Leon]] verification system. | ||