Merge pull request #808 from eddiehung/read_aiger
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 19 Mar 2019 16:41:40 +0000 (09:41 -0700)
committerGitHub <noreply@github.com>
Tue, 19 Mar 2019 16:41:40 +0000 (09:41 -0700)
Add new read_aiger frontend


Trivial merge