From ac7b0daad70e244885e726b45723886ba5abc794 Mon Sep 17 00:00:00 2001
From: Valentin Promies <valentin.promies@rwth-aachen.de>
Date: Fri, 24 May 2024 10:11:51 +0200
Subject: [PATCH] bump version

---
 CMakeLists.txt                  | 2 +-
 resources/carl-required.version | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 759c92d45..e18a1db70 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -15,7 +15,7 @@ include(smtratmacros)
 
 set(PROJECT_FULLNAME "SMT-RAT")
 set(PROJECT_DESCRIPTION "Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving")
-set_version(24 02)
+set_version(24 05)
 
 # set(CMAKE_RUNTIME_OUTPUT_DIRECTORY "${CMAKE_CURRENT_SOURCE_DIR}/bin")
 set(EXECUTABLE_OUTPUT_PATH ${PROJECT_BINARY_DIR} CACHE PATH "Directory for built executables")
diff --git a/resources/carl-required.version b/resources/carl-required.version
index aa099e031..420f61e8c 100644
--- a/resources/carl-required.version
+++ b/resources/carl-required.version
@@ -1 +1 @@
-24.04
\ No newline at end of file
+24.05
\ No newline at end of file