name: z3-solver
description: an efficient SMT solver library
license_spdx: MIT
version: 4.12.6.0
spec_version: 1.0
home_url: https://github.com/Z3Prover/z3
news_url: https://libraries.io/pypi/z3-solver/versions.atom
date: 2024-02-24
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/z3-solver?number=4.12.6.0
vcs_tool: git
vcs_repository: https://github.com/Z3Prover/z3
vcs_branch: master
