• Andrei Paskevich's avatar
    fix smtv2 printer · ad8fa432
    Andrei Paskevich authored
    also, remove all customization from the Z3 3.x section in prover detection.
    I find it morally wrong to chase magic options of a closed-source program.
    We should add an option for a prover only when we have clear understanding
    of what it does and good reasons to believe that it is useful in our case.
    ad8fa432
Name
Last commit
Last update
..
bench Loading commit data...
config Loading commit data...
coq-plugin Loading commit data...
core Loading commit data...
driver Loading commit data...
ide Loading commit data...
parser Loading commit data...
printer Loading commit data...
programs Loading commit data...
tools Loading commit data...
tptp2why Loading commit data...
transform Loading commit data...
util Loading commit data...
why3doc Loading commit data...
config.sh.in Loading commit data...
main.ml Loading commit data...
realize.ml Loading commit data...
why3.ml Loading commit data...