Call abc9 with "&write -n", and parse_xaiger() to cope
authorEddie Hung <eddie@fpgeh.com>
Sat, 7 Dec 2019 00:35:57 +0000 (16:35 -0800)
committerEddie Hung <eddie@fpgeh.com>
Sat, 7 Dec 2019 00:35:57 +0000 (16:35 -0800)
commitab667d3d47ceb07a41b571517b4effb0f4a4bf0b
tree61bc383e77c9a3bff694f94310e4c9e11cf4ad05
parentc767525441ebc6a21b29bf0c1208049cd38adc8e
Call abc9 with "&write -n", and parse_xaiger() to cope
frontends/aiger/aigerparse.cc
passes/techmap/abc9.cc