diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2013-04-01 23:06:13 -0400 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2013-04-01 23:06:13 -0400 |
commit | f51b6e9a9dc853156ee392c26f40494d91f345e9 (patch) | |
tree | e7fd8c96be799d6f0937f1a55e9a4617c44af8a0 /src/proof/cnf_proof.cpp | |
parent | 1f1f24f3c8618cb601b2ef95991792c7e3232a71 (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)
Diffstat (limited to 'src/proof/cnf_proof.cpp')
0 files changed, 0 insertions, 0 deletions