Fix double free problem when working with interactive belief explorer#185

Merged

sjunges merged 3 commits intomoves-rwth:masterfrom TheGreatfpmK:saynt-fix

Sep 26, 2024

+2-1

Commits on Sep 18, 2024

Fixing SAYNT double free problem
TheGreatfpmK
committed

Commits on Sep 20, 2024

Remove GIL release
TheGreatfpmK
committed

Commits on Sep 26, 2024

bumped the required Storm version
TheGreatfpmK
committed