projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57790a1) | patch
Disabled arith-rewrite-equalities by default unless in a pure arithmetic theory
authorClark Barrett <barrett@cs.nyu.edu>
Fri, 11 May 2012 15:20:05 +0000 (15:20 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Fri, 11 May 2012 15:20:05 +0000 (15:20 +0000)
commitf20e159baa1669bbedbf6afd4f0a5117854822a9
tree081aa361a1131a75f17c623bba083a5aed966d59tree
parent57790a14676596e8c6ed42ff7ecd8038ddbaf09bcommit | diff
Disabled arith-rewrite-equalities by default unless in a pure arithmetic theory
src/smt/smt_engine.cpp diff | blob | history
src/util/options.cpp diff | blob | history
src/util/options.h diff | blob | history