From d7648336ef3035a4b4d94938408cbf0619aa48fb Mon Sep 17 00:00:00 2001 From: PAYNT release bot Date: Mon, 26 Oct 2026 23:42:51 +0000 Subject: [PATCH] release: v0.5.0 --- paynt/_version.py | 2 +- payntbind/lib/payntbind/_version.py | 2 +- pyproject.toml | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/paynt/_version.py b/paynt/_version.py index f6b7e267c..3d187266f 100644 --- a/paynt/_version.py +++ b/paynt/_version.py @@ -1 +1 @@ -__version__ = "0.4.3" +__version__ = "0.5.0" diff --git a/payntbind/lib/payntbind/_version.py b/payntbind/lib/payntbind/_version.py index f6b7e267c..3d187266f 100644 --- a/payntbind/lib/payntbind/_version.py +++ b/payntbind/lib/payntbind/_version.py @@ -1 +1 @@ -__version__ = "0.4.3" +__version__ = "0.5.0" diff --git a/pyproject.toml b/pyproject.toml index 329ef22db..637bb416f 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -1,5 +1,5 @@ [build-system] -requires = ["scikit-build-core==1.1.1", "pybind11==3.1.0", "stormpy>=2.0.0"] +requires = ["scikit-build-core==1.1.1", "pybind11==3.1.0", "stormpy==2.0.0"] build-backend = "scikit_build_core.build" [project] @@ -14,7 +14,7 @@ authors = [ ] requires-python = ">=3.11" dependencies = [ - "stormpy>=2.0.0", + "stormpy==2.0.0", "z3-solver>=5.0.0.0", "click>=8.1.3", "rich-click>=1.9",