projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f935c7) | patch
Some bug fixes in the SAT for lemmas, and an experiment with a more complete (wr...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 12 Nov 2010 04:39:54 +0000 (04:39 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 12 Nov 2010 04:39:54 +0000 (04:39 +0000)
commit0eb2a0362fee06023f0668e94bb566b69f4a7cda
tree03910431f2185e2a668da5a3e5d9e61220c67fdctree
parent9f935c74842084fad55e2c0efaf963791c0ebba9commit | diff
Some bug fixes in the SAT for lemmas, and an experiment with a more complete (wr propagation) splitter in arithmetic.
src/prop/minisat/core/Solver.cc diff | blob | history
src/prop/prop_engine.cpp diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history