Add support for "aigsmt none" option
authorClifford Wolf <clifford@clifford.at>
Sun, 28 May 2017 10:32:03 +0000 (12:32 +0200)
committerClifford Wolf <clifford@clifford.at>
Sun, 28 May 2017 10:32:03 +0000 (12:32 +0200)
commitff054ab88b99b21467db5a2d1352e95bc49e269b
treecba63d9f3b57a3e7cfac3d9b1039459db4d0cd6a
parenta2c1dd3f91fda8b8fbcc7065f79f3052c98b4c0e
Add support for "aigsmt none" option
docs/source/reference.rst
sbysrc/sby_engine_abc.py
sbysrc/sby_engine_aiger.py