Add support for read_aiger -map
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 12 Feb 2019 20:16:37 +0000 (12:16 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Tue, 12 Feb 2019 20:16:37 +0000 (12:16 -0800)
commit06ba81d41f7d1a8e7bae469f016b2e3e412cab7a
tree4490deae40a04946e48e5113761b80db2d51ecd7
parent77d362775338449aca7b3b8444386c7419447438
Add support for read_aiger -map
frontends/aiger/aigerparse.cc
frontends/aiger/aigerparse.h