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

Misc solver fixes #573

Closed tquatmann closed 19 hours ago

tquatmann commented 4 days ago

This PR provides minor fixes related to solvers:

volkm commented 22 hours ago

LGTM