Merge branch 'read_aiger' into xaig
authorEddie Hung <eddieh@ece.ubc.ca>
Thu, 21 Feb 2019 22:14:28 +0000 (14:14 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Thu, 21 Feb 2019 22:14:28 +0000 (14:14 -0800)

Trivial merge