diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-06 15:30:20 +0100 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-06 15:30:20 +0100 |
| commit | abde9fe948eaa622c614de56331ef3cfc53c8adc (patch) | |
| tree | a3f7086ad68287530251dc072ab460605ab01c24 /src/sat/proof | |
| parent | f7c7cb5c657058a60d7f7f92b68877c0e14ffb51 (diff) | |
| download | abc-abde9fe948eaa622c614de56331ef3cfc53c8adc.tar.gz abc-abde9fe948eaa622c614de56331ef3cfc53c8adc.tar.bz2 abc-abde9fe948eaa622c614de56331ef3cfc53c8adc.zip | |
Fixing a bug and adding verification of minimized counter-example.
Diffstat (limited to 'src/sat/proof')
0 files changed, 0 insertions, 0 deletions