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.