Add write_aiger $anyseq support
authorClifford Wolf <clifford@clifford.at>
Thu, 2 Mar 2017 15:39:48 +0000 (16:39 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 2 Mar 2017 15:39:48 +0000 (16:39 +0100)
commita6ca28276e3786ba3d756f46d7804a6dcf1e5b11
tree01ac2fed3cae32514a7d58c220261896e9acdb18
parent5b3b5ffc8cb1a3dcc846c5f62ffb5e0cffb9e055
Add write_aiger $anyseq support
backends/aiger/aiger.cc