All Downloads are FREE. Search and download functionalities are using the official Maven repository.

z3-z3-4.13.0.src.api.python.pyproject.toml Maven / Gradle / Ivy

Go to download

TurnKey artifact for Z3

The newest version!
[build-system]
requires = ["setuptools>=46.4.0", "wheel", "cmake"]
build-backend = "setuptools.build_meta"




© 2015 - 2024 Weber Informatics LLC | Privacy Policy