Add $live and $fair support to AIGER back-end.
authorClifford Wolf <clifford@clifford.at>
Sat, 25 Feb 2017 12:07:15 +0000 (13:07 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 25 Feb 2017 12:07:15 +0000 (13:07 +0100)
commitdac0842d61b5e3ee63d6f8b87225cde82a763768
tree0339095b3a795b0bebc76add6a55fc8444037b24
parent5f1d0b1024981b6ede2988bf8c5812b37c87d0e9
Add $live and $fair support to AIGER back-end.
backends/aiger/aiger.cc