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

Targetincludes #597

Closed sjunges closed 2 months ago

sjunges commented 3 months ago

This improves the build process