diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-01-05 19:25:46 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-01-05 19:25:46 -0800 |
| commit | 7bf3f5e186cfd44e4695089e0cc564eff90f9110 (patch) | |
| tree | ab646c6caba5045960085630d396cdc420d249aa /src/aig/gia/giaSupMin.c | |
| parent | 30d09e2cbe68ca6138513703dad94d6b295e0625 (diff) | |
| download | abc-7bf3f5e186cfd44e4695089e0cc564eff90f9110.tar.gz abc-7bf3f5e186cfd44e4695089e0cc564eff90f9110.tar.bz2 abc-7bf3f5e186cfd44e4695089e0cc564eff90f9110.zip | |
Fix in &nf for the case when PO can be driven by an inverter.
Diffstat (limited to 'src/aig/gia/giaSupMin.c')
0 files changed, 0 insertions, 0 deletions