Fix AIGER back-end for multiple symbols per input/latch/output/property
authorClifford Wolf <clifford@clifford.at>
Tue, 30 May 2017 17:09:11 +0000 (19:09 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 30 May 2017 17:09:11 +0000 (19:09 +0200)
commitc365e33fd724ce22d3578f8526912a932253457d
treefbb250ac760bacb9862fcd504aebdfff81e89e64
parent05df3dbee434dc206c02314d4ff7d2a6faee1c4b
Fix AIGER back-end for multiple symbols per input/latch/output/property
backends/aiger/aiger.cc