Matthias Volk

Installing from the deb package actually places the binaries in both /bin and /usr/bin, similar happens for the libs. Maybe putting them in /bin and /lib can be disabled. Providing...

Thanks for the suggestion. I am not sure whether we can see in stormpy which compiler was used for Storm. But maybe we could set up some test configurations with...

It seems, we are already using pybind version 3.0 because we do not fix the pybind version. So far, everything works fine and there are no issues. We might want...

I think it might be a good idea to fix the pybind version. Then we avoid problems with sudden updates.

On a first look, your script seems okay for me and is very much the same as the [example](https://github.com/moves-rwth/stormpy/blob/master/examples/schedulers/01-schedulers.py). Can you share your model such that we can better investigate...