Added "write_aiger -zinit -symbols -vmap"
authorClifford Wolf <clifford@clifford.at>
Thu, 1 Dec 2016 10:04:36 +0000 (11:04 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 1 Dec 2016 10:04:36 +0000 (11:04 +0100)
commit5fa1fa1e6f0dd731267f5e93d05f0223949d5c5c
tree2ae8df5796d808ce229302205f413e956c11ca1a
parentc1f762ca56440b7d7fb00e760f0e4901564e320a
Added "write_aiger -zinit -symbols -vmap"
backends/aiger/aiger.cc