Matthias Volk

Can you also add the output of CMake?

Thanks. At first glance I do not see anything out of the ordinary. It could be that it is a problem with Boost. Can you go to the carl build...

That reminds me that I should keep an eye on the stormpy package at [pypi](https://pypi.org/project/stormpy/). At the moment, the package needs to be compiled though and we do not distribute...

Regarding easy to install via pip: it should work in principle with `pip install stormpy` using the existing pypi package. It will need to compile stormpy but it should not...

Ok, now I understand your idea. As far as I am aware the wheel package will only contain the stormpy libraries but not Storm itself. Personally, I would try to...

The latest version of CLN seems to support ARM now, see [ChangeLog](https://www.ginac.de/CLN/cln.git/?p=cln.git;a=blob_plain;f=NEWS)

I agree, storm-cli would then be the directory for the main storm binary and we could also move `src/storm/storm.cpp` into there.

I am not using XCode anymore. We can drop the support from my side.

We could remove [lines in CMakeLists](https://github.com/moves-rwth/storm/blob/master/CMakeLists.txt#L433) but otherwise I do not see anything XCode specific.

Some related discussion [here](https://github.com/moves-rwth/storm/pull/531)