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 /src/parser | |
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 'src/parser')
0 files changed, 0 insertions, 0 deletions