From e617c36e2a3f0aa40fd78694c0c42828cf56877e Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Mon, 23 Mar 2026 23:51:17 +0100 Subject: [PATCH] Adaption after stormpy move to stormchecker --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 02f960a..1f96fe6 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,7 @@ Starter project for the Python API of Storm via Stormpy [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/stormchecker/storm-project-starter-python/master?filepath=stormpy_starter.ipynb) ## Getting started -Before starting, make sure that Storm and stormpy are installed. If not, see the [documentation](https://moves-rwth.github.io/stormpy/installation.html) for details on how to install stormpy. +Before starting, make sure that Storm and stormpy are installed. If not, see the [documentation](https://stormchecker.github.io/stormpy/installation.html) for details on how to install stormpy. First, install the Python package. If you use a virtual environment, make sure to use it. To install the starter package, execute