try add name to project

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Dec 8, 2023 · 6282f40 · 6282f40
1 parent 7e716f7
commit 6282f40
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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" ]
+name = "z3-solver"
+dependencies = ["importlib-resources", ]