projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a42d1d3) | patch
Disable minisat elimination when models are on
authorClark Barrett <barrett@cs.nyu.edu>
Mon, 29 Oct 2012 13:50:54 +0000 (13:50 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Mon, 29 Oct 2012 13:50:54 +0000 (13:50 +0000)
commit62988b5d0556d8dd1e0258962d2eaccbe2551281
treed0a9f5868745f06b36d53eb19f38f30c7154500ctree
parenta42d1d31d9f73a1d9fdce404153598c5b94ed241commit | diff
Disable minisat elimination when models are on
src/smt/smt_engine.cpp diff | blob | history