Cleanup abc9 code
authorEddie Hung <eddieh@ece.ubc.ca>
Mon, 25 Feb 2019 23:20:56 +0000 (15:20 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Mon, 25 Feb 2019 23:20:56 +0000 (15:20 -0800)
commit292f80d231174951b8ebda5b1f9b70b6b95a545a
tree387ed519154fc786b6870876d543d7bcf7b23a23
parent65c8ccf7b57a69f1e1629a3b3df7505073b0474c
Cleanup abc9 code
backends/aiger/xaiger.cc