command-not-found.com
Run
API
Facebook
Twitter
LinkedIn
Copy link
NuSMV
Install
All systems
curl cmd.cat/NuSMV.sh
OS X
brew install nu-smv
Dockerfile
dockerfile.run/NuSMV
nu-smv
$
try this command on-line!
API – NuSMV
×