Skip to content

Latest commit

 

History

History
24 lines (16 loc) · 501 Bytes

README.md

File metadata and controls

24 lines (16 loc) · 501 Bytes

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.