moves-rwth / storm

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

Add support for Highs (MI)LP solver #535

Open sjunges opened 4 months ago

sjunges commented 4 months ago

The Highs MILP solver is freely available under an MIT license, hosted on github, and significantly seems to outperform GLPK, which is our current default. This makes it an interesting addition to our backends.