storm icon indicating copy to clipboard operation
storm copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

Standardize CMake flags for libraries

Open volkm opened this issue 9 months ago • 0 comments

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.

volkm avatar May 22 '24 13:05 volkm