archful = false
archive_name = "z3_solver-4.15.3.0.tar.gz"
automode = true
extras = []
license_files_present = false
name = "z3-solver"
python_name = "python-z3-solver"
source = "PyPI"
summary = "an efficient SMT solver library"
url = "https://github.com/Z3Prover/z3"
version = "4.15.3.0"