netro505

Hi @volkm, sorry for the very late reply. Thank you for the suggestion but I don't think running stormpy in a Docker container is feasible. I want to implement stormpy...

Can you give me the steps on how can I connect my application with a Stormpy Docker container?

Thank you! I able to run it using docker