LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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 Kaplanbundled 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.