diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-08-30 02:19:58 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-08-30 02:19:58 +0000 |
| commit | 1ea434616c48b92189e77b37b3e82dbbee0e0ccc (patch) | |
| tree | 32b89493a7d8e18586bec861b08e885b0b73de7c /Makefile | |
| parent | 6e81c8b4b146d58d94eb0a84fa8392bae04595ff (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.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions