search

moves-rwth / stormvogel

Storm for almost everyone
2 stars 0 forks source link

Change initial state behavior in stormpy #30

Open linusheck opened 4 months ago

linusheck commented 4 months ago

Make initial states a bitvector!