Python Verification Suite available on Github  - https://github.com/gomni1/SBF/tree/main/SBF%20PYTHON