diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-17 23:48:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-17 23:48:58 -0700 |
| commit | 61ecc9c633d227160c720d6f0f611cf4e62a9602 (patch) | |
| tree | 6ef5fd03f0c66c93af568b38ac268d2f17d4091f /src/base/abci/abcBm.c | |
| parent | f6fb5600b19396c43a055d2d893dab97b88a41d9 (diff) | |
| download | abc-61ecc9c633d227160c720d6f0f611cf4e62a9602.tar.gz abc-61ecc9c633d227160c720d6f0f611cf4e62a9602.tar.bz2 abc-61ecc9c633d227160c720d6f0f611cf4e62a9602.zip | |
Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for liveness properties).
Diffstat (limited to 'src/base/abci/abcBm.c')
0 files changed, 0 insertions, 0 deletions