Added $anyconst support to AIGER back-end
authorClifford Wolf <clifford@clifford.at>
Sun, 11 Dec 2016 12:48:18 +0000 (13:48 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 11 Dec 2016 12:48:18 +0000 (13:48 +0100)
commita61c88f12215eb8bfa1db62aec7c2c95bb3cc702
treeb09802257c16c2998f89169e1d4d12dbe7821044
parent8a717ae1dc58b7c979be57db5e7fa66804828aa6
Added $anyconst support to AIGER back-end
backends/aiger/aiger.cc