This tap provides the formula to install Storm via homebrew.

You can install Storm via

brew install moves-rwth/storm/stormchecker

Alternatively, you can execute

brew tap moves-rwth/storm

and then

brew install stormchecker

For instructions on how to use Storm, we refer to Storm's website.

For help on Homebrew, use brew help, man brew or check Homebrew's documentation.