write_aiger() to perform CI/CO post-processing and fix symbols
authorEddie Hung <eddieh@ece.ubc.ca>
Sat, 16 Feb 2019 16:46:25 +0000 (08:46 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Sat, 16 Feb 2019 16:46:25 +0000 (08:46 -0800)
commit2c1655ae9440c470a62ab7e493024a94f5d054ad
tree84ea63f43e60e72f077f8b8bb11b021a827876a7
parent7523c8778041a2f2109b3c7f2b00f69b23b186ed
write_aiger() to perform CI/CO post-processing and fix symbols
backends/aiger/xaiger.cc