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