Commit 5dbe8e9d authored by MARCHE Claude's avatar MARCHE Claude

support for veriT 201310

parent c229d61a
......@@ -2,8 +2,8 @@
prelude ";;; this is a prelude for veriT"
printer "smtv1"
filename "%f-%t-%g.smt"
printer "smtv2"
filename "%f-%t-%g.smt2"
valid "^unsat"
unknown "^\\(unknown\\|sat\\)" ""
......
......@@ -268,11 +268,12 @@ version_ok = "0.4.1"
[ATP verit]
name = "veriT"
exec = "veriT"
exec = "verit"
version_switch = "--help"
exec = "veriT-201310"
version_switch = "--version"
version_regexp = "Version: \\([^ \n\r]+\\)"
command = "%l/why3-cpulimit %t %m -s %e %f"
command = "%l/why3-cpulimit %t %m -s %e --enable-simp --enable-unit-simp --enable-simp-sym --enable-unit-subst-simp --enable-bclause %f"
driver = "drivers/verit.drv"
version_ok = "201310"
[ATP z3]
name = "Z3"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment