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

Tests: why3+cvc3
Depends: why3, cvc3

Tests: why3+cvc4
# this should not fail when test dependency cvc4 is not installable 
Depends: cvc4 | why3, why3

Tests: why3+spass
Depends:why3, spass

Tests: why3+z3
Depends:why3, z3

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