storm icon indicating copy to clipboard operation
storm copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

Improved LpMinMaxLinearEquationSolver, set relevant values in topo solvers

Open tquatmann opened this issue 8 months ago • 0 comments

  • 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.

tquatmann avatar Jun 07 '24 06:06 tquatmann