Matthias Volk

Maybe relevant: https://setuptools.pypa.io/en/latest/build_meta.html

I think we should try to tackle the general problem (in iterative, small steps): using templated bindings for the different ValueType. An example can be found for the DFT bindings...

No, not yet. We are currently checking that the pybind version is the same between pycarl and stormpy (cf. https://github.com/moves-rwth/stormpy/pull/86). We are however not yet checking that the carl version...

Hi, running stormpy natively under Windows is currently not supported because Storm does not run under Windows. I would recommend to run stormpy/Storm in a Docker container which also works...

I currently see no other option on Windows then to use the Docker container. Native compilation of Storm under Windows is not really tested and will likely have some issues....

The easiest way is probably to build your application on top of stormpy. You can simply use the stormpy Docker image as base and add all necessary packages and code...

The path is currently already specified from `setup.py` via `-Dstorm_DIR`. Looking at the [documentation](https://cmake.org/cmake/help/latest/command/find_package.html#config-mode-search-procedure), this is a valid option. We could switch to either explicitly providing hints or using `-Dstorm_ROOT`...

In general, I think the CMake part should already work as intended. It might be that the original issue in https://github.com/moves-rwth/stormpy/issues/28#issuecomment-1271810162 comes from a wrong configuration in `setup.py`. I did...

Implemented in https://github.com/moves-rwth/stormpy/pull/130.

Since the `test` command currently does nothing more than call pytest, I think that should be no problem. I see two options how to handle this: 1. Perform the following...