diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-02 16:41:55 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-02 16:41:55 -0700 |
commit | fb2ae7c22f42e05c920dd9366313422ff073749f (patch) | |
tree | ddc9f1e18b34918382bab2593ac246985202ca4e /abc.rc | |
parent | 7b99370e0a5326408ec4f3f3d8200f35717054fa (diff) | |
download | abc-fb2ae7c22f42e05c920dd9366313422ff073749f.tar.gz abc-fb2ae7c22f42e05c920dd9366313422ff073749f.tar.bz2 abc-fb2ae7c22f42e05c920dd9366313422ff073749f.zip |
Computing AIG using DSD instead of factored forms in &fx.
Diffstat (limited to 'abc.rc')
0 files changed, 0 insertions, 0 deletions