diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-22 12:47:55 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-22 12:47:55 -0800 |
commit | 2f874d27fc305ddd9413aeb201dd1c757218780b (patch) | |
tree | 3fb6d41975e6c141511c340e3dd9cdb96960eec2 /src/aig/ntl/ntlTable.c | |
parent | a84b1cfc5570b7ad5df4e8ee50afdffd3ae9ba83 (diff) | |
download | abc-2f874d27fc305ddd9413aeb201dd1c757218780b.tar.gz abc-2f874d27fc305ddd9413aeb201dd1c757218780b.tar.bz2 abc-2f874d27fc305ddd9413aeb201dd1c757218780b.zip |
Fixed the problem with filtered equivalences (&srm -sf and &equiv_mark -f).
Diffstat (limited to 'src/aig/ntl/ntlTable.c')
0 files changed, 0 insertions, 0 deletions