Lab for Automated Reasoning and Analysis 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.
 
scp.txt · Last modified: 2011/07/22 19:38 by philippe.suter
 
© EPFL 2018 - Legal notice