Code

Add --not-graph-preserving flag#588

Code

Open

linusheck wants to merge 2 commits intomoves-rwth:mastermoves-rwth/storm:masterfrom linusheck:not-graph-preservinglinusheck/storm:not-graph-preservingCopy head branch name to clipboard

+61-12

Commits

Commits on Aug 1, 2024

• Add --not-graph-preserving flag

  glatteis

  committed
  f739523

Commits on Aug 5, 2024

• Preserve reward models in graph-preserving bisim

  glatteis

  committed
  b3aebb6