diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py index c68196d..67bc602 100644 --- a/lib/stormpy/_version.py +++ b/lib/stormpy/_version.py @@ -1 +1 @@ -__version__ = "1.2.0" +__version__ = "1.3.0"