diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-09 15:57:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-09 15:57:18 -0700 |
| commit | c265d2449adcfc634e6546076ec1427b21b66afe (patch) | |
| tree | c67eca250d400e50ab106a3eb67d12899e6020e4 /src/starter.c | |
| parent | 685faae8e2e54e0d2d4a302f37ef9895073eb412 (diff) | |
| download | abc-c265d2449adcfc634e6546076ec1427b21b66afe.tar.gz abc-c265d2449adcfc634e6546076ec1427b21b66afe.tar.bz2 abc-c265d2449adcfc634e6546076ec1427b21b66afe.zip | |
Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, dsat, etc).
Diffstat (limited to 'src/starter.c')
0 files changed, 0 insertions, 0 deletions