Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
sav08:tools_demo [2008/02/21 22:52] piskac |
sav08:tools_demo [2008/02/21 23:03] piskac |
||
---|---|---|---|
Line 94: | Line 94: | ||
+ | The theorem provers that formDecider invokes are: | ||
+ | * e = [[http://www.eprover.org/|E theorem prover]] | ||
+ | * vampire = [[http://en.wikipedia.org/wiki/Vampire_theorem_prover|Vampire theorem prover]] | ||
+ | * cvcl = [[http://www.cs.nyu.edu/acsys/cvc3/|CVC3 theorem prover]] | ||
+ | * z3 = |