Add support for read_aiger -wideports
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 12 Feb 2019 20:58:10 +0000 (12:58 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Tue, 12 Feb 2019 20:58:10 +0000 (12:58 -0800)
commite9df9a466a79677633bbcd6b419f7ea8d8d3cf6d
tree4c6d3830412d13928ca6f58311066c170b8b3357
parent06ba81d41f7d1a8e7bae469f016b2e3e412cab7a
Add support for read_aiger -wideports
frontends/aiger/aigerparse.cc
frontends/aiger/aigerparse.h