stormpy

stormpy copied to clipboard

Tools like poetry do not support setup.py CLI flags (https://github.com/python-poetry/poetry/issues/845). I would move away from using them, this is definitely related to https://github.com/moves-rwth/stormpy/issues/162.

linusheck

Python Paths

1

Our functions that take paths as input currently expect strings. Should we instead allow (or even enforce) `pathlib.Path`?

sjunges

Support for pyproject.toml

1

Python has new guidelines for packaging that we should adhere to.

sjunges

implement a way to figure out if rate_transitions was True or False

1

PimLeerkes

Merge pycarl into stormpy

3

This PR merges pycarl (alongside the complete history of pycarl) into stormpy.

linusheck

Counter Exmaples Generation using Stormpy

3

Dear author, I am building a stormpy model using my transition matrix. I will give a short description of the transition matrix (13 rows, each row contain a probability transition...

AlanLeAI

Fixes https://github.com/moves-rwth/stormpy/issues/210 Add general functions `get_value` and `get_values_states` which are type-independent and internally call the right Storm function.

volkm

Segfault in get_integer_values_states

2

Hi thanks for the library. I am trying to use the ```get_integer_values_states``` that was recently added to the library. I am using the master of Storm and of stormpy, since...

nmanginas

Requires storm update https://github.com/moves-rwth/storm/pull/629

sjunges

Hi and thanks very much for the project !! Is it possible to manipulate the ADDs (MTBDDs) that I assume are used by the symbolic engine. E.g. to view them,...

nmanginas