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',