projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e956da) | patch
Turned off nonClausalSimplify when using fewerPreprocessingHoles.
authorguykatzz <katz911@gmail.com>
Wed, 7 Dec 2016 19:11:11 +0000 (11:11 -0800)
committerguykatzz <katz911@gmail.com>
Wed, 7 Dec 2016 19:11:11 +0000 (11:11 -0800)
commit5f7edbf5d1cf67789dba889220fb2efbd73ad2bd
tree08602a81331b03f8418ee4f0389146b37ad623e9tree
parent0e956da9b32ce8a8fcf20ec65e5a2820b4e31324commit | diff
Turned off nonClausalSimplify when using fewerPreprocessingHoles.
It was turned off for unsatCores, and fewerPreprocessingHoles using the same infrastructure.
src/smt/smt_engine.cpp diff | blob | history