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

Update README.md

parent c386e7e0
......@@ -8,7 +8,7 @@ This is an implementation of the approach proposed in the paper:
While for users, we recommend to use this artifact via the Docker container, you can also build it from source as follows:
- Install [Storm](https://www.stormchecker.org/documentation/obtain-storm/build.html), [pycarl](https://moves-rwth.github.io/pycarl/installation.html#installation-steps) and [stormpy](https://moves-rwth.github.io/stormpy/installation.html#installation-steps) using the instructions in the documentation.
- Install [Storm](https://www.stormchecker.org/documentation/obtain-storm/build.html), [PyCarl](https://moves-rwth.github.io/pycarl/installation.html#installation-steps) and [Stormpy](https://moves-rwth.github.io/stormpy/installation.html#installation-steps) using the instructions in the documentation.
Note that one must use the master branches of all three tools.
Preferably, install PyCarl and Stormpy in a virtual environment.
......
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