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