Add "write_aiger -L"
authorClifford Wolf <clifford@clifford.at>
Wed, 18 Sep 2019 11:33:02 +0000 (13:33 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 18 Sep 2019 11:33:02 +0000 (13:33 +0200)
commit779ce3537fa921daf6ffd780264f0867a8ebc4be
tree8f26950fad4965deb20db1bebf63645c11ae07eb
parentb88d2e5f30712f797a5c4fb2b7308494155b95d0
Add "write_aiger -L"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
backends/aiger/aiger.cc