starting Leon 2.0

README

build.xml

cav2011-testcases/Debug.scala

cav2011-testcases/RedBlackTree.scala

clp/Demo.scala

clp/IntSynth.scala

cp-compile

cp-demo/ACMDLExamples.scala

cp-demo/Assuming.scala

cp-demo/BinarySortedLists.scala

cp-demo/BuildingListConstraints.scala

cp-demo/CEGIS.scala

cp-demo/CEGISsqr.scala

cp-demo/Distinct.scala

cp-demo/IntegerProgramming.scala

cp-demo/LazyNQueens.scala

cp-demo/LazyVars.scala

cp-demo/NQueens.scala

cp-demo/PaperExamples.scala

cp-demo/Primes.scala