diff options
| author | Tim King <taking@cs.nyu.edu> | 2011-03-03 18:00:35 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2011-03-03 18:00:35 +0000 |
| commit | 43bf1fc1ba1770715fbe9fa15fa0be2cf6fb164a (patch) | |
| tree | 83ba0646f082451e93ffb848d7c4976a6a72b0cf /INSTALL | |
| parent | 41aba7156ae5954db53daf69cca2816a2c4d774d (diff) | |
- Creates a queue for lemmas discovered during the simplex procedure. Lemmas are sent to the sat solver during theory propagation. The lemmas currently come from additional conflicts that are discovered by findConflictOnTheQueue(...).
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions