diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-28 16:21:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-28 16:21:58 -0700 |
| commit | 58e1041ad85add626a48e98f2ed49f7b0c7cf0ad (patch) | |
| tree | 125f18a741ef7345fe4d32124d380192e1647a16 /i10.aig | |
| parent | a33821ab38129116fd9ac94b7df83db2b18c66be (diff) | |
| download | abc-58e1041ad85add626a48e98f2ed49f7b0c7cf0ad.tar.gz abc-58e1041ad85add626a48e98f2ed49f7b0c7cf0ad.tar.bz2 abc-58e1041ad85add626a48e98f2ed49f7b0c7cf0ad.zip | |
Modified command 'eliminate' to perform traditional 'eliminate -1'.
Diffstat (limited to 'i10.aig')
0 files changed, 0 insertions, 0 deletions