nmanginas

Tree Vizualization

1

I noticed that there is no way to visualize the query trees (at least that I could find) and it has helped me quite a bit in debugging to be...

Question: Semantics

4

Hi many thanks for the tool. I am trying to convert the formula (WX(a) b) for which the automaton is this:  Shouldn't the string "~b", i.e. not b be...

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...

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,...