Add support for AIGER solvers that do not return a CEX
authorClifford Wolf <clifford@clifford.at>
Mon, 27 Feb 2017 21:29:00 +0000 (22:29 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 27 Feb 2017 21:29:00 +0000 (22:29 +0100)
commit6e03f1d89518b4b7a81966c4f7e7249a2730d802
tree3f6df4839c3d05f01e6d193667d72cb83efece07
parent81144819e595af85f2270ded78fffe7634f9307d
Add support for AIGER solvers that do not return a CEX
sbysrc/sby_engine_aiger.py