/spin-env

Docker image for Spin model checker

Primary LanguageDockerfile

Stargazers