File python-z3-pyproject.toml of Package z3

[build-system]
requires = ["setuptools>=40"]
build-backend = "setuptools.build_meta"