read_aiger() to cope with constant outputs, mixed wideports, do cleaning
authorEddie Hung <eddieh@ece.ubc.ca>
Sat, 16 Feb 2019 16:44:11 +0000 (08:44 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Sat, 16 Feb 2019 16:44:11 +0000 (08:44 -0800)
commit7523c8778041a2f2109b3c7f2b00f69b23b186ed
treef66acc91b4917e52dd943aff29422518fdaf51fe
parentf8d01345980a212a340087b6d9c0a8992f5b169c
read_aiger() to cope with constant outputs, mixed wideports, do cleaning
frontends/aiger/aigerparse.cc