diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-18 00:05:11 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-18 00:05:11 -0700 |
commit | 96b784ecd7cc05f99e12d52f36437c9bd9eb2375 (patch) | |
tree | be730d9a80266baf0b3f664e58b5ab32784703c5 /src/base/abci/abcMiter.c | |
parent | 61ecc9c633d227160c720d6f0f611cf4e62a9602 (diff) | |
download | abc-96b784ecd7cc05f99e12d52f36437c9bd9eb2375.tar.gz abc-96b784ecd7cc05f99e12d52f36437c9bd9eb2375.tar.bz2 abc-96b784ecd7cc05f99e12d52f36437c9bd9eb2375.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/abcMiter.c')
0 files changed, 0 insertions, 0 deletions