search

moves-rwth / storm

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

Cmake updates #602

Open sjunges opened 2 months ago

sjunges commented 2 months ago

Do not merge yet, for reviewing purposes only,.

sjunges commented 1 week ago

Also, it requires https://github.com/moves-rwth/carl-storm/pull/46