From 6a9a0e5eae117c59a388aa921e6f8f34b140da3d Mon Sep 17 00:00:00 2001
From: Christian Schilling <git@christianschilling.net>
Date: Wed, 31 Jan 2024 15:24:03 +0100
Subject: [PATCH] Update Project.toml

---
 Project.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Project.toml b/Project.toml
index f13c55b20..d77ea3c92 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,6 +1,6 @@
 name = "ReachabilityAnalysis"
 uuid = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
-version = "0.22.4"
+version = "0.23.0"
 
 [deps]
 CarlemanLinearization = "4803f6b2-022a-4c1b-a771-522a3413ec86"