diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-06 15:33:16 +0100 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-06 15:33:16 +0100 |
| commit | 3634f60d7a53f3e0de21bda3702e0f5cdb957945 (patch) | |
| tree | 1b6d1c2bff68601e36beea1f8e5b2f767bb5f1d7 /src/aig/saig/saigRefSat.c | |
| parent | abde9fe948eaa622c614de56331ef3cfc53c8adc (diff) | |
| download | abc-3634f60d7a53f3e0de21bda3702e0f5cdb957945.tar.gz abc-3634f60d7a53f3e0de21bda3702e0f5cdb957945.tar.bz2 abc-3634f60d7a53f3e0de21bda3702e0f5cdb957945.zip | |
Fixing a bug and adding verification of minimized counter-example.
Diffstat (limited to 'src/aig/saig/saigRefSat.c')
0 files changed, 0 insertions, 0 deletions