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