diff --git a/src/api/python/pyproject.toml b/src/api/python/pyproject.toml
index 4c199fb26..2f441d000 100644
--- a/src/api/python/pyproject.toml
+++ b/src/api/python/pyproject.toml
@@ -4,4 +4,5 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "z3-solver"
+version = "4"
 dependencies = ["importlib-resources", ]
\ No newline at end of file