Commit 714c4d8f authored by Guillaume Melquiond's avatar Guillaume Melquiond

Add CVC4 1.3 and Eprover 1.8, and increase timeout to 15s to accomodate iProver.

parent de840286
This diff is collapsed.
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