diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-21 13:48:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-21 13:48:07 -0700 |
| commit | 1c56475287876a9625642834390e055257499663 (patch) | |
| tree | f0a3631f214960c882aaa484e681d820530857bd /src/aig/gia/gia.h | |
| parent | cb4631e64e9a95cafc4ef31a60f006c7f067cf91 (diff) | |
| download | abc-1c56475287876a9625642834390e055257499663.tar.gz abc-1c56475287876a9625642834390e055257499663.tar.bz2 abc-1c56475287876a9625642834390e055257499663.zip | |
Extending predefined limit in &shrink.
Diffstat (limited to 'src/aig/gia/gia.h')
0 files changed, 0 insertions, 0 deletions