add version

NikolajBjorner · NikolajBjorner · commit 4123405d176f · 2023-12-08T15:50:09.000-08:00
Signed-off-by: Nikolaj Bjorner &lt;nbjorner@microsoft.com&gt;
diff --git 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", ]
