Commit b255fbaa authored by MARCHE Claude's avatar MARCHE Claude

Support for Eprover 1.8

parent a98a306f
...@@ -156,11 +156,15 @@ driver = "drivers/yices.drv" ...@@ -156,11 +156,15 @@ driver = "drivers/yices.drv"
[ATP eprover] [ATP eprover]
name = "Eprover" name = "Eprover"
exec = "eprover" exec = "eprover"
exec = "eprover-1.8"
exec = "eprover-1.7"
exec = "eprover-1.6" exec = "eprover-1.6"
exec = "eprover-1.5" exec = "eprover-1.5"
exec = "eprover-1.4" exec = "eprover-1.4"
version_switch = "--version" version_switch = "--version"
version_regexp = "E \\([-0-9.]+\\) [^\n]+" version_regexp = "E \\([-0-9.]+\\) [^\n]+"
version_ok = "1.8-001"
version_ok = "1.7"
version_ok = "1.6" version_ok = "1.6"
version_old = "1.5" version_old = "1.5"
version_old = "1.4" version_old = "1.4"
......
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