add version

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 8, 2023 · 4123405 · 4123405
1 parent 6282f40
commit 4123405
Showing 1 changed file with 1 addition and 0 deletions.
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", ]