Tests: why3+alt-ergo
Depends: why3, alt-ergo

Tests: why3+cvc3
Depends: why3, cvc3

Tests: why3+cvc4
Depends: why3, cvc4

Tests: why3+spass
Depends:why3, spass

Tests: why3+z3
Depends:why3, z3

Tests: why3+coq
Depends: why3, why3-coq, coq
