This is an old revision of the document!
SCP - Constraint Programming in Scala
* The sources of Kaplan bundled with Leon are available here.
* You will need the Z3 and ScalaZ3 libraries to compile and run the systems.
* The related Leon verification system.