abc9 to write_xaiger -symbols, not -map
authorEddie Hung <eddieh@ece.ubc.ca>
Thu, 21 Feb 2019 22:28:36 +0000 (14:28 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Thu, 21 Feb 2019 22:28:36 +0000 (14:28 -0800)
commit04429f8152ae64de050580ec20db60ac6dc1c0e1
treebbaad0154aa2e627e7ffd191106ee5dac4ef7abd
parent3307295488ee51db20f4a5d911221a1ebc3b8254
abc9 to write_xaiger -symbols, not -map
passes/techmap/abc9.cc