write_xaiger to cope with unknown cells by transforming them to CI/CO
authorEddie Hung <eddieh@ece.ubc.ca>
Fri, 15 Feb 2019 19:51:21 +0000 (11:51 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Fri, 15 Feb 2019 19:51:21 +0000 (11:51 -0800)
commit3ac5b651973debe76d4d41aef86a9d6376bdae46
treedeb33173abcf6cc84f86cfe25b66d5412e225ac1
parentc69fba8de5056e5892014b143856993d404e7c84
write_xaiger to cope with unknown cells by transforming them to CI/CO
backends/aiger/xaiger.cc