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

Update shipped glpk to version 5.0 #566

Closed tquatmann closed 4 weeks ago

sjunges commented 1 month ago

Does it make sense to remove some of the doc files, in particular pdfs etc to keep our repo small where possible?

tquatmann commented 4 weeks ago

Good point, I removed the doc and the examples folder, which are both not needed for building.