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