search

moves-rwth / stormvogel

Storm for almost everyone
2 stars 0 forks source link

Model builder API #4

Closed PimLeerkes closed 3 months ago

PimLeerkes commented 5 months ago

create a flexible and easy to use model builder API

YouGuessedMyName commented 4 months ago

If I understand correctly, the model builder API is the existing API in storm right? So the task is to convert between the new API that linus made and that?

linusheck commented 4 months ago

I think the conversion issue is this one: https://github.com/moves-rwth/stormvogel/issues/6

This is about improving the existing https://github.com/moves-rwth/stormvogel/blob/main/stormvogel/model.py