Improved LpMinMaxLinearEquationSolver, set relevant values in topo solvers

moves-rwth / storm

A Modern Probabilistic Model Checker

https://www.stormchecker.org

GNU General Public License v3.0

126 stars 73 forks source link

Open tquatmann opened 4 weeks ago

tquatmann commented 4 weeks ago

Added options to tweak the LP encoding
Use RawMode instead of storm::expressions
Add ViToLp Method to warm-start the procedure
Topological solvers can now (optionally, if enabled) set relevant values for each SCC

See this publication for further details on some of these improvements.