diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-16 17:53:41 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-16 17:53:41 +0000 |
| commit | 5ec347a55a3b32e9d92d8a6a5d683cb9f3f3fee5 (patch) | |
| tree | 871a53d147d218f926d53421b48db872c9d6747d /test | |
| parent | 9154e647013e4575f60807d5b73582bccfd052e2 (diff) | |
Changes to SAT solver:
* allowing propagation of false literals (handles conflict)
* allowing lemmas during BCP (bug 337)
* UF does direct propagation, without checking for literal value anymore
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions