Add binary AIGs converted from AAG
authorEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 19:41:25 +0000 (11:41 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 19:41:25 +0000 (11:41 -0800)
commit4e6c5e46725bb99e0c919a5f82ce5290da2ce2f9
tree4e9e21b01c470ab87b64cbd6be2f9a6417428206
parent09d758f0a31e3b4290bfcd3d9864733e84c83628
Add binary AIGs converted from AAG
14 files changed:
tests/aiger/and.aig [new file with mode: 0644]
tests/aiger/buffer.aig [new file with mode: 0644]
tests/aiger/cnt1.aig [new file with mode: 0644]
tests/aiger/cnt1e.aig [new file with mode: 0644]
tests/aiger/empty.aig [new file with mode: 0644]
tests/aiger/false.aig [new file with mode: 0644]
tests/aiger/halfadder.aig [new file with mode: 0644]
tests/aiger/inverter.aig [new file with mode: 0644]
tests/aiger/notcnt1.aig [new file with mode: 0644]
tests/aiger/notcnt1e.aig [new file with mode: 0644]
tests/aiger/or.aig [new file with mode: 0644]
tests/aiger/toggle-re.aig [new file with mode: 0644]
tests/aiger/toggle.aig [new file with mode: 0644]
tests/aiger/true.aig [new file with mode: 0644]