Added "write_aiger" command
authorClifford Wolf <clifford@clifford.at>
Wed, 30 Nov 2016 20:30:24 +0000 (21:30 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 30 Nov 2016 20:30:24 +0000 (21:30 +0100)
commitc1f762ca56440b7d7fb00e760f0e4901564e320a
tree83d555ef1ef2090e2d365fcf15e47a147aa1adb1
parentb1cdf772eb31c792e904fe8fdba3e123b615c547
Added "write_aiger" command
backends/aiger/Makefile.inc [new file with mode: 0644]
backends/aiger/aiger.cc [new file with mode: 0644]