diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-30 10:42:10 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-30 10:42:10 -0700 |
| commit | e3e62366638f0395c12b0d1e9b7fcb60fc1908eb (patch) | |
| tree | 5efdbae2db2395177d3a5a09591d80383212561c /src/generic.h | |
| parent | 1c245b4a4aedb95c3943f792416f5a9bd781f194 (diff) | |
| download | abc-e3e62366638f0395c12b0d1e9b7fcb60fc1908eb.tar.gz abc-e3e62366638f0395c12b0d1e9b7fcb60fc1908eb.tar.bz2 abc-e3e62366638f0395c12b0d1e9b7fcb60fc1908eb.zip | |
This code was accidentally deleted from the SAT solver (effectively disabling restarts!)
Diffstat (limited to 'src/generic.h')
0 files changed, 0 insertions, 0 deletions