Yices 2 is the new default solver for yosys-smtbmc
authorClifford Wolf <clifford@clifford.at>
Sat, 27 May 2017 10:04:43 +0000 (12:04 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 27 May 2017 10:04:43 +0000 (12:04 +0200)
commita2c1dd3f91fda8b8fbcc7065f79f3052c98b4c0e
tree3910546a15e7f350f270fffa297e1c8138324ee9
parent7f871ec89a40eeb1fa839a98d37d85d38bace27a
Yices 2 is the new default solver for yosys-smtbmc
docs/source/quickstart.rst
docs/source/reference.rst
sbysrc/sby_mode_bmc.py
sbysrc/sby_mode_live.py
sbysrc/sby_mode_prove.py