diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-05 12:55:40 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-05 12:55:40 -0700 |
| commit | db34dbeb80005ca85ec860d4cbbe2bb1223a0849 (patch) | |
| tree | 0f41c7fe7f282ca063d7c2739498ebb30116ec98 /src/sat/bmc/bmcLoad.c | |
| parent | e4f9ebfa8773364e76f2493a694892e7fb2b6d95 (diff) | |
| download | abc-db34dbeb80005ca85ec860d4cbbe2bb1223a0849.tar.gz abc-db34dbeb80005ca85ec860d4cbbe2bb1223a0849.tar.bz2 abc-db34dbeb80005ca85ec860d4cbbe2bb1223a0849.zip | |
Temporarily (?) undoing previous change because it is incompatible with old AIGER files generated by ABC.
Diffstat (limited to 'src/sat/bmc/bmcLoad.c')
0 files changed, 0 insertions, 0 deletions