Matthias Volk

The latest version of setuptools has now removed the `test` command and CI now fails. This makes the replacement urgent.

The external repository seems to be temporarily unavailable. You can install the dependencies via homebrew instead: ``` brew install cln ginac ```

Thanks for the bug report. Can you privately share the model file with us via the following email address: [email protected] Then we can take a deeper look into the issue.

Copying python files might lead to some problems, because the file structure can change. You can try to get your current setup to work, but I cannot be of much...

I think the issue comes from missing libraries. You are building stormpy without the optional libraries for parameters, POMDPs, etc. However, some of the examples are checking for these. Can...

Try `pip install nbval` for the missing library.

Can you elaborate a bit more on the change? As far as I understand, `py::gil_scoped_release>()` releases the Global Interpreter Lock and therefore potentially allows other threads to access the model...

Thanks for the clarification. We have to be careful when releasing the GIL to avoid race conditions with multiple threads. I am okay with the change for now, but maybe...

Can you try using the latest release 1.8.1 of Storm and see whether this makes a difference?

In my view, simplifying the model should be optional as a pre-processing step and not be part of the method. I would also be in favor of simplifying the model...