From d2a15e812dac5618b03cd1ae5825ce24e4a2235e Mon Sep 17 00:00:00 2001 From: Roman Andriushchenko Date: Thu, 21 Dec 2023 13:00:20 +0100 Subject: [PATCH] fix README --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index 8a50f098d..3f65127a7 100644 --- a/README.md +++ b/README.md @@ -22,8 +22,7 @@ git clone https://github.com/randriu/synthesis.git synthesis cd synthesis ``` -PAYNT requires [Storm](https://github.com/moves-rwth/storm) and [Stormpy](https://github.com/moves-rwth/stormpy), Python bindings for Storm -If you have Stormpy installed (e.g. within a Python environment), PAYNT and its dependencies can be installed by +PAYNT requires [Storm](https://github.com/moves-rwth/storm) and [Stormpy](https://github.com/moves-rwth/stormpy). If you have Stormpy installed (e.g. within a Python environment), PAYNT and its dependencies can be installed by ```shell sudo apt install -y graphviz