An easy-to-use, yet powerful, logic verification library for Python.
Primary LanguagePythonApache License 2.0Apache-2.0