projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62988b5) | patch
Tweak to options configuration for turning off minisat elimination when models are on
authorClark Barrett <barrett@cs.nyu.edu>
Mon, 29 Oct 2012 18:25:48 +0000 (18:25 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Mon, 29 Oct 2012 18:25:48 +0000 (18:25 +0000)
commit45d96ce6cdd0eb5a899611b4b0be243c6887da39
tree993200ce79adbe61cc545afa91108f4c3c107b4dtree
parent62988b5d0556d8dd1e0258962d2eaccbe2551281commit | diff
Tweak to options configuration for turning off minisat elimination when models are on
src/smt/smt_engine.cpp diff | blob | history