src/main/scala/leon/Main.scala · 8c9d5ba5ac5ccc580d16c33537358c1bc6f78f9e · LARA / inox

10 years ago

Etienne Kneuss authored 10 years ago

--solvers=smt-cvc4-cex
--solvers=smt-cvc4-proof

Update scala-smtlib with support for parsing special DefFunsRec

8c9d5ba5

Etienne Kneuss authored 10 years ago

--solvers=smt-cvc4-cex
--solvers=smt-cvc4-proof

Update scala-smtlib with support for parsing special DefFunsRec