diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-04 23:30:09 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-04 23:30:09 -0800 |
| commit | 7a19593d3fcb09c4511dcd8fd34c20dd048e6405 (patch) | |
| tree | 1529b966f243b94693f0ebbae134e0b22c1ff5b0 /src/sat/bsat/satProof.c | |
| parent | f0d44a4a933dfc4ee023b5896486dd99afa2c06c (diff) | |
| download | abc-7a19593d3fcb09c4511dcd8fd34c20dd048e6405.tar.gz abc-7a19593d3fcb09c4511dcd8fd34c20dd048e6405.tar.bz2 abc-7a19593d3fcb09c4511dcd8fd34c20dd048e6405.zip | |
Proof-logging in the updated solver.
Diffstat (limited to 'src/sat/bsat/satProof.c')
0 files changed, 0 insertions, 0 deletions