Commit a2aec831 authored by Thom Badings's avatar Thom Badings
Browse files


parent 36790182
......@@ -12,7 +12,7 @@ While for users, we recommend to use this artifact via the Docker container, you
Note that one must use the master branches of all three tools.
Preferably, install pycarl and stormpy in a virtual environment.
We have tested the artifact using Storm version 1.6.4.
We have tested the artifact using Storm and Stormpy version 1.6.4.
- Install dependencies: on macOS, tkinter needs to be available.
It can be installed via [Homebrew](
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment