• 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
..
emacs Loading commit data...
images Loading commit data...
javascript Loading commit data...
lang Loading commit data...
zsh Loading commit data...
drivers Loading commit data...
modules Loading commit data...
provers-detection-data.conf.in Loading commit data...
theories Loading commit data...
why3session.dtd Loading commit data...