diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-10 21:30:53 +0900 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-10 21:30:53 +0900 |
commit | dff6e2ab3162b33b309d20a8c8bde07e6a5590ac (patch) | |
tree | e53eb51d73edb51904eadfba1cf40f2b2b6cef6a /i10.aig | |
parent | b6b9d284c4895f48c61294a8619ab14bf3bc14b3 (diff) | |
download | abc-dff6e2ab3162b33b309d20a8c8bde07e6a5590ac.tar.gz abc-dff6e2ab3162b33b309d20a8c8bde07e6a5590ac.tar.bz2 abc-dff6e2ab3162b33b309d20a8c8bde07e6a5590ac.zip |
Procedure to dump ZDD representing a set of cubes into a PLA file.
Diffstat (limited to 'i10.aig')
0 files changed, 0 insertions, 0 deletions