• 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...
bin Loading commit data...
comparison Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
misc Loading commit data...
modules Loading commit data...
plugins Loading commit data...
realizations/coq/real Loading commit data...
share Loading commit data...
src Loading commit data...
tests Loading commit data...
theories Loading commit data...
.gitignore Loading commit data...
CHANGES Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL Loading commit data...
LICENSE Loading commit data...
META.in Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
configure.in Loading commit data...