Use module->add{Not,And}Gate() functions
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 12 Feb 2019 17:21:15 +0000 (09:21 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Tue, 12 Feb 2019 17:21:15 +0000 (09:21 -0800)
commita2ae39381124ccfec348293c7c7926597c26a5b8
treeea2cfd0cb8b69d3bd1f6f8eb826e4d6b801ba6af
parentfb6df09dd210faddf1d238d2605e645bdbda9723
Use module->add{Not,And}Gate() functions
frontends/aiger/aigerparse.cc