projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 842c5e7) | patch
Disabling the variable removal hueristic by default.
authorTim King <taking@cs.nyu.edu>
Tue, 4 Oct 2011 22:21:55 +0000 (22:21 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 4 Oct 2011 22:21:55 +0000 (22:21 +0000)
commita81eeba7318f4e72f90a64bbd0beb82e27b27148
treeb278e8f41d914e675230be84a7075a3c1c157884tree
parent842c5e7e08bf21980b34e40112e15a16cb18aee2commit | diff
Disabling the variable removal hueristic by default.
src/util/options.cpp diff | blob | history