Add read_xaiger
authorEddie Hung <eddieh@ece.ubc.ca>
Mon, 11 Feb 2019 23:19:17 +0000 (15:19 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Mon, 11 Feb 2019 23:19:17 +0000 (15:19 -0800)
commit0124512f28e8bbd2c1865eac0ec00f955e2bf72a
tree00148b1671538ed9b2cdd801a0b11393db30508f
parentecd24461323d4dc0cd369d3173a39912aa459618
Add read_xaiger
frontends/aiger/aigerparse.cc
frontends/aiger/aigerparse.h