Tests: why3+cvc4
Depends: why3, cvc4 (<< 1.9), ocaml-native-compilers
Restrictions: skip-not-installable

Tests: why3+cvc5
Depends: why3, cvc5 (<< 1.3), ocaml-native-compilers
Restrictions: skip-not-installable

Tests: why3+spass
Depends:why3, spass, ocaml-native-compilers
Restrictions: skip-not-installable

Tests: why3+z3
Depends:why3, z3 (<< 4.14), ocaml-native-compilers
Restrictions: skip-not-installable
