projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7f004f) | patch
Boolean variables were marked as theory literals by mistake. Fixed, should give us...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 11 Mar 2010 06:15:32 +0000 (06:15 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 11 Mar 2010 06:15:32 +0000 (06:15 +0000)
commitc7ccddcad95d7b6534a83a873c522b115530a553
treeb62e3239620d0650d6e9d28af8746fbf47f4b19dtree
parenta7f004fad9947f3a953dbd6d14838f1e04f105ebcommit | diff
Boolean variables were marked as theory literals by mistake. Fixed, should give us back the SAT performance we had before the theory stuff.
src/prop/cnf_stream.cpp diff | blob | history