diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-15 20:48:57 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-15 20:48:57 +0000 |
commit | d7554865a91733a39dd658e2003ca072e8e2ed4b (patch) | |
tree | 68b321e437318ab4cb0e85a9cf4fd164c639aaeb /.settings | |
parent | 8fb7c711588cb070c1e4a1d076b47f9277bfc3fe (diff) |
fix for bug 254, lemmas were propagating at lower levels, and the conflict clauses asserting literal would overwrite the propagated literal
let's see if i break the build again
Diffstat (limited to '.settings')
0 files changed, 0 insertions, 0 deletions