read_aiger to name wires with internal name, less likely to clash
authorEddie Hung <eddieh@ece.ubc.ca>
Wed, 20 Feb 2019 19:22:56 +0000 (11:22 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Wed, 20 Feb 2019 19:22:56 +0000 (11:22 -0800)
commit83b66861e9c669f643e096030d0b165ca45ab38c
treee7673d8d70c36f70719bd6ee7754d95b65c276c8
parentef60ca171743292e88457684d53d632c680210e2
read_aiger to name wires with internal name, less likely to clash
frontends/aiger/aigerparse.cc