Added $assert/$assume support to AIGER back-end
authorClifford Wolf <clifford@clifford.at>
Sat, 3 Dec 2016 12:20:29 +0000 (13:20 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 3 Dec 2016 12:20:29 +0000 (13:20 +0100)
commita44cc7a3d1c21c37c7dfb88b92bb479389dfce16
tree5fff6d3d1731d1838417202d84f17126bb1a1ef1
parent37760541bd4298677f208f2740e721c1be95bbd7
Added $assert/$assume support to AIGER back-end
backends/aiger/aiger.cc
examples/aiger/demo.sh
examples/aiger/demo.v