Add support for smt-z3 with custom executable name

epfl-lara / inox

Solver for higher-order functional programs, used by Stainless

Apache License 2.0

88 stars 20 forks source link

Closed jad-hamza closed 3 years ago

jad-hamza commented 3 years ago

This should allow mixing several Z3 versions in portfolio mode: --solvers=smt-z3,smt-z3:z3-4.8.10,smt-cvc4