Add "write_aiger -I -O -B"
authorClifford Wolf <clifford@clifford.at>
Mon, 12 Nov 2018 08:27:33 +0000 (09:27 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 12 Nov 2018 08:27:33 +0000 (09:27 +0100)
commit82aaf6d9086176c746bb157f33fd085a2e03e461
tree412e2d23b3c7b8f8f36d196a3919f572965c7ae5
parentef1c61aae474a6f44f800216ff8565d7b2a12816
Add "write_aiger -I -O -B"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
backends/aiger/aiger.cc