write_xaiger: cope with abc9_arrival as string of ints
authorEddie Hung <eddie@fpgeh.com>
Thu, 9 Jan 2020 18:05:03 +0000 (10:05 -0800)
committerEddie Hung <eddie@fpgeh.com>
Thu, 9 Jan 2020 18:05:03 +0000 (10:05 -0800)
commit3177437224b1264e429df34683c3369227657446
tree30c5c5772e1e974e395eefbe534630528c1544fc
parent47a1fd3f4acb1951d39cecc7ee4c2608381daf62
write_xaiger: cope with abc9_arrival as string of ints
backends/aiger/xaiger.cc