Rename "abc_bmc3" engine to "abc bmc3"
authorClifford Wolf <clifford@clifford.at>
Sat, 28 Jan 2017 14:25:49 +0000 (15:25 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 28 Jan 2017 14:25:49 +0000 (15:25 +0100)
commit4f97a20acdf8de9642256439b08054c196bf29d7
treecfebc0192e7b39f90a1d3f22b3f2e269c0f8202e
parentfb9dafd92006745005a5a2dedcc344d7d56ac2c3
Rename "abc_bmc3" engine to "abc bmc3"
sbysrc/demo.sby
sbysrc/sby_bmc.py