Same for ascii AIGERs too
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 19 Feb 2019 23:15:50 +0000 (15:15 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Tue, 19 Feb 2019 23:15:50 +0000 (15:15 -0800)
commit7b026c4bc316a44f2722cd4ddc96b4da1d1458b6
treeeeed98c796610c06d41ffc276963b6721a67db47
parentd304882cba32cc9eb9be163fe6f24211bd39594a
Same for ascii AIGERs too
frontends/aiger/aigerparse.cc