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
tree993200ce79adbe61cc545afa91108f4c3c107b4d
parent62988b5d0556d8dd1e0258962d2eaccbe2551281
Tweak to options configuration for turning off minisat elimination when models are on
src/smt/smt_engine.cpp