search

moves-rwth / storm

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

Standardize CMake flags for libraries #546

Open volkm opened 1 month ago

volkm commented 1 month ago

Most libraries have an argument STORM_USE_X (Gurobi, Soplex), but some (Spot, MathSat) use slightly different arguments. We should should use the standard format for them as well.