projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e81c8b) | patch
Fixin the SAT solver for Andy. Even if a SAT lemma is added, a FULL-CHECK will be...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 30 Aug 2011 02:19:58 +0000 (02:19 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 30 Aug 2011 02:19:58 +0000 (02:19 +0000)
commit1ea434616c48b92189e77b37b3e82dbbee0e0ccc
tree32b89493a7d8e18586bec861b08e885b0b73de7ctree
parent6e81c8b4b146d58d94eb0a84fa8392bae04595ffcommit | diff
Fixin the SAT solver for Andy. Even if a SAT lemma is added, a FULL-CHECK will be reissued. Some unexpected slowdowns, but not too much.
src/prop/minisat/core/Solver.cc diff | blob | history
src/prop/minisat/core/Solver.h diff | blob | history