diff options
author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-03-17 12:18:39 -0700 |
---|---|---|
committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-03-17 12:18:39 -0700 |
commit | 4d7cec5051d741888db0d5ef844b0270dc509830 (patch) | |
tree | 8a3392b0f361cd9cb101d3f210f8a627a85aabe8 /src/aig/miniaig/ndr.h | |
parent | ddd349cf96875baa1194f5f3ba8dcc5304f99572 (diff) | |
download | abc-4d7cec5051d741888db0d5ef844b0270dc509830.tar.gz abc-4d7cec5051d741888db0d5ef844b0270dc509830.tar.bz2 abc-4d7cec5051d741888db0d5ef844b0270dc509830.zip |
%pdra: disabled an experimental procedure
Diffstat (limited to 'src/aig/miniaig/ndr.h')
0 files changed, 0 insertions, 0 deletions