diff --git a/src/api/python/pyproject.toml b/src/api/python/pyproject.toml index 09f6337e9..54c401c28 100644 --- a/src/api/python/pyproject.toml +++ b/src/api/python/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta" [project] name = "z3-solver" -version = "4.15.3.0" +dynamic = ["version"] description = "an efficient SMT solver library" readme = "README.txt" requires-python = ">=3.8"