moves-rwth/homebrew-storm

Installing storm via homebrew

This tap provides the formula to install storm via homebrew. All you need to do is

brew tap moves-rwth/storm
brew install stormchecker

For more options when installing storm, please invoke

brew info stormchecker 

after tapping this repository.

After the installation, you should be able to invoke storm by just typing

storm

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