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/map | |
| 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/map')
0 files changed, 0 insertions, 0 deletions