diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-04 07:22:13 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-04 07:22:13 -0700 |
commit | 21896ba6bc6b2e0db0493f37e62b405866e54a04 (patch) | |
tree | eaf685e0bfae9c670b28e5a425ee5534c176219b /src/proof/acec/module.make | |
parent | 28cbb280b707f56858a3af2a813ac0bcd961e83e (diff) | |
download | abc-21896ba6bc6b2e0db0493f37e62b405866e54a04.tar.gz abc-21896ba6bc6b2e0db0493f37e62b405866e54a04.tar.bz2 abc-21896ba6bc6b2e0db0493f37e62b405866e54a04.zip |
Update to &show to show AIGs with XORs and MUXes (derived by &st -m).
Diffstat (limited to 'src/proof/acec/module.make')
0 files changed, 0 insertions, 0 deletions