diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-29 12:43:55 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-29 12:43:55 -0700 |
commit | 6814c48bb4e748add7e4ebd37f0d4d00312e0c5a (patch) | |
tree | 118acbcc21b7174ca030b547871f39073554befc /src/base/abci/abcUnate.c | |
parent | bebd7ee6cb49f4876a7411e2986c12d4e72ff06a (diff) | |
download | abc-6814c48bb4e748add7e4ebd37f0d4d00312e0c5a.tar.gz abc-6814c48bb4e748add7e4ebd37f0d4d00312e0c5a.tar.bz2 abc-6814c48bb4e748add7e4ebd37f0d4d00312e0c5a.zip |
Added an API to convert a multi-output PLA into a shared AIG.
Diffstat (limited to 'src/base/abci/abcUnate.c')
0 files changed, 0 insertions, 0 deletions