search

moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
135 stars 74 forks source link

Provide binaries via CPack #527

Open volkm opened 5 months ago

volkm commented 5 months ago

Update the CPack configuration to allow building and distributing binaries of Storm. This could significantly increase user-friendliness and ease-of-installation.