diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-20 13:45:30 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-20 13:45:30 +0700 |
commit | 3ab9683d26246be83cc3f775a6b469785f12b775 (patch) | |
tree | 4f6f1191443575df0cea5c3b53a0679f764c6913 /src/aig/saig/saigMiter.c | |
parent | 4ca6612821a1f4506b7b2f2d534e720c43b766c2 (diff) | |
download | abc-3ab9683d26246be83cc3f775a6b469785f12b775.tar.gz abc-3ab9683d26246be83cc3f775a6b469785f12b775.tar.bz2 abc-3ab9683d26246be83cc3f775a6b469785f12b775.zip |
Added support for constraints in AIGER (bug fix).
Diffstat (limited to 'src/aig/saig/saigMiter.c')
0 files changed, 0 insertions, 0 deletions