stormpy
stormpy copied to clipboard
moves-rwth
Python Bindings for the Probabilistic Model Checker Storm
Hi! I'm new to Stormpy. I've once issued a problem here regarding installation using docker. I'm trying to build a cloud auto-scaling software in python for educational purpose but i...
Checking whether a model is acyclic should be quite helpful. Note that the current implementation first needs to find and exclude all states with self-loops, because the underlying Storm function...
(Issue was originally raised in https://github.com/moves-rwth/stormpy/issues/28#issuecomment-1271835119) Pass the Storm location (`storm_dir `) as a HINT to CMake in https://github.com/moves-rwth/stormpy/blob/f19e657eec9cbb439a6934a3ea78a13cdba26d97/cmake/CMakeLists.txt#L3
- We should check both carl versions (used in pycarl and Storm) to ensure they are the same. (Maybe even check the `carl_DIR` used during compilation?) - It is possible...
I get the following warning: ``` (...)/site-packages/setuptools/installer.py:27: SetuptoolsDeprecationWarning: setuptools.installer is deprecated. Requirements should be satisfied by a PEP 517 installer. warnings.warn( ``` This link explains the situation: https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html I do...
Anaconda is a rather typical Python distribution. We have supported this version but I have no clue whether we are still supporting this. At some point, it would be great...
After recent changes in Storm, JANI variables use a different data structure now. PR #45 removed support for the old `BoundedIntegerVariable`. Support for the new variable data structure should be...
Dear Stormpy team, I have a question regarding the instantiation of the FSC-policy parameters in a parametric DTMC. I have built the parametric DTMC by unfolding memory onto a Stormpy...
See https://github.com/pypa/setuptools/issues/1684 I think that we should therefore consider alternatives.
Metadata
Owner
Metadata
Python Bindings for the Probabilistic Model Checker Storm