/spin-build

Build and install the Spin model checker

Primary LanguagePython

Stargazers