Matthias Volk

Good question, we do indeed not properly explain it in the documentation. You can simply leave out the prism program: `properties = stormpy.parse_properties(formula_str)` should work.

I wanted to be sure that this is actually something worthwhile to add before making the changes everywhere. I can of course add the prefix to all occurrences of `concat`....

The change is currently not needed anymore. I personally find the new way of parsing the version better than compiling a small program though. The latter can also fail due...

I checked and then z3 version file is present since 4.8.1. Even Ubuntu 20.04 ships with z3 version 4.8.7. So we should be fine with removing the old check.

For me, no line regarding soplex is present when soplex is not used. So without soplex it seems to work. Could it be an issue with properly exporting the location...

We are not using `add_imported_library` in the CMake file for soplex. No idea whether this has anything to do with it, but I guess it does not hurt to add...

A starting point could be to draft a [new Release](https://github.com/moves-rwth/storm/releases/new), set a new tag (which would only be created on publishing) and then let Github generate the release note.

I think the issue comes from the operator precedence. The expression which triggers the issue is `A_mark & A_leader`. Note that it is `A_leader` and not `A_leader = current_min_leader_calc` as...

In my (quick) debugging I found that the parsing seems to be incorrect. It seems to me that instead of trying to parse the sub-expression `A_mark & A_leader = current_min_leader_calc`...

Hi, if you want to use stormpy, you indeed have to manually build all dependencies (carl-storm, Storm, pycarl and stormpy). To avoid problems, I recommend to first uninstall the homebrew...