projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84f26af) | patch
Disable nonclausal simplification for QF_SAT benchmarks by default.
authorMorgan Deters <mdeters@gmail.com>
Wed, 21 Mar 2012 20:51:02 +0000 (20:51 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 21 Mar 2012 20:51:02 +0000 (20:51 +0000)
commitf40ec39fe48f83e1cc1a31f9e18635687bd63c76
treedaba20eb93798b196a8fb324438152fba7f8e867tree
parent84f26af22566f7c10dea45b399b944cb50b5e317commit | diff
Disable nonclausal simplification for QF_SAT benchmarks by default.
(Can be overridden with --simplification=batch, for example.)
src/parser/smt/Smt.g diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/util/options.cpp diff | blob | history
src/util/options.h diff | blob | history