diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-24 17:39:57 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-24 17:39:57 +0700 |
commit | 3469b605e13e29d57476b4e7c8d76c38da3c9384 (patch) | |
tree | ba64c3a19c4e776c90876825f2a09f67eb5b40fe /src/aig/ntl/ntlWriteBlif.c | |
parent | c913fd8849a9ce150b21c640bdcda38d29b2d90e (diff) | |
download | abc-3469b605e13e29d57476b4e7c8d76c38da3c9384.tar.gz abc-3469b605e13e29d57476b4e7c8d76c38da3c9384.tar.bz2 abc-3469b605e13e29d57476b4e7c8d76c38da3c9384.zip |
Sequential cleanup with symbolic/ternary simulation.
Diffstat (limited to 'src/aig/ntl/ntlWriteBlif.c')
0 files changed, 0 insertions, 0 deletions