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

Documentation does not describe linking with Gurobi #570

Open sjunges opened 3 months ago

sjunges commented 3 months ago

The documentation does not mention linking with Gurobi.