From 4123405d176fb49e8e304a70405ae55448bc8ee4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 8 Dec 2023 15:50:09 -0800
Subject: [PATCH] add version

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/python/pyproject.toml | 1 +
 1 file changed, 1 insertion(+)

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