diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-08 23:18:44 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-08 23:18:44 +0700 |
commit | 9daabedff5d8673ddee1c52f3c84b1b84cc0eb56 (patch) | |
tree | 1ed7c8653601648e63e5970db108956772bd2a43 /src/map/if | |
parent | 924ec940fe1dbda99d9ff16b94dba9ec56015ca1 (diff) | |
download | abc-9daabedff5d8673ddee1c52f3c84b1b84cc0eb56.tar.gz abc-9daabedff5d8673ddee1c52f3c84b1b84cc0eb56.tar.bz2 abc-9daabedff5d8673ddee1c52f3c84b1b84cc0eb56.zip |
Fixing built-in resource limit when converting truth-tables to AIGs.
Diffstat (limited to 'src/map/if')
0 files changed, 0 insertions, 0 deletions