projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16161eb) | patch
changing the sat solver to assert propagated literals back to the theories
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Sat, 9 Apr 2011 03:06:53 +0000 (03:06 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Sat, 9 Apr 2011 03:06:53 +0000 (03:06 +0000)
commitc165a7c05ca79659d2f0451cb795b17dec5dcfb6
tree5a3824c8d8db8ee657db3a5ed95a803e04ac220etree
parent16161eb039274162e1e464522e73a17f755a4e28commit | diff
changing the sat solver to assert propagated literals back to the theories
src/prop/minisat/core/Solver.cc diff | blob | history