Code

Add bindings for the Smg class#173

Code

Merged

sjunges merged 2 commits intomoves-rwth:mastermoves-rwth/stormpy:masterfrom TheGreatfpmK:game-testTheGreatfpmK/stormpy:game-testCopy head branch name to clipboardJul 14, 2024

+112-2

Commits

Commits on Jun 25, 2024

• Playing with SMGs in Storm

  TheGreatfpmK

  committed
  b748711

  Copy full SHA for b748711

Commits on Jul 13, 2024

• Added test for SMG construction from model components

  TheGreatfpmK

  committed
  8d716cb

  Copy full SHA for 8d716cb