git.libre-soc.org Git - cvc5.git/commit

author	Clark Barrett <barrett@cs.nyu.edu>
	Tue, 2 Apr 2013 03:06:13 +0000 (23:06 -0400)
committer	Clark Barrett <barrett@cs.nyu.edu>
	Tue, 2 Apr 2013 03:06:13 +0000 (23:06 -0400)
commit	f51b6e9a9dc853156ee392c26f40494d91f345e9
tree	e7fd8c96be799d6f0937f1a55e9a4617c44af8a0	tree
parent	1f1f24f3c8618cb601b2ef95991792c7e3232a71	commit \| diff

Fix regression error by turning off model-based solver when models are on
(ironic, yes, but model-based solver doesn't yet produce models)