From 6282f402550e53766f28ed9354772209b93cb098 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 8 Dec 2023 14:57:45 -0800
Subject: [PATCH] try add name to project

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

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