diff --git a/CMakeLists.txt b/CMakeLists.txt
index f144148c0..32ce965f3 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,7 +1,7 @@
 cmake_minimum_required (VERSION 3.16)
 project(Marabou)
 
-set(MARABOU_VERSION 1.0.0)
+set(MARABOU_VERSION 2.0.0)
 add_definitions("-DMARABOU_VERSION=\"${MARABOU_VERSION}\"")
 
 set(CMAKE_CXX_STANDARD 17)
diff --git a/pyproject.toml b/pyproject.toml
index 48ffd825a..2b288ecfa 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "maraboupy"
-version = "1.0.0"
+version = "2.0.0"
 authors = [{ name = "The Marabou Development Team" }]
 description = "A package wrapping the Marabou Neural Network Verification tool."
 readme = "README.md"
@@ -32,7 +32,7 @@ Marabou = "maraboupy.MarabouMain:main"
 packages = ["maraboupy"]
 
 [tool.bumpver]
-current_version = "v1.0.0"
+current_version = "v2.0.0"
 version_pattern = "vMAJOR.MINOR.PATCH[-TAG]"
 commit_message = "bump version {old_version} -> {new_version}"
 commit = true