LARA

SCP - Constraint Programming in Scala

  • The sources of SCP (also known as 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.