From 127a8d9895b4474ff911f771017d68996eb4baf3 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 13 Apr 2026 09:55:50 +0000 Subject: [PATCH] Update stormpy requirement from >=1.10 to >=1.11.3 Updates the requirements on [stormpy](https://github.com/moves-rwth/stormpy) to permit the latest version. - [Release notes](https://github.com/moves-rwth/stormpy/releases) - [Changelog](https://github.com/stormchecker/stormpy/blob/master/CHANGELOG.md) - [Commits](https://github.com/moves-rwth/stormpy/compare/1.10.0...1.11.3) --- updated-dependencies: - dependency-name: stormpy dependency-version: 1.11.3 dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pyproject.toml b/pyproject.toml index abe530f..ef8c345 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -14,7 +14,7 @@ authors = [ ] requires-python = ">=3.10" dependencies = [ - "stormpy>=1.10", + "stormpy>=1.12.0", ] classifiers = [ 'Intended Audience :: Science/Research',