Z3 Solver is used in Python projects. an efficient SMT solver library It has 1 direct runtime dependency. Check its dependency graph on PyDeps to understand the full transitive dependency tree, reverse dependents, known CVEs, and license compatibility before installing.
an efficient SMT solver library
z3-solver declares 1 direct runtime dependency on PyPI. Each one is resolved into the full dependency tree below:
Beyond its direct dependencies, z3-solver can pull in further packages through its dependency tree. PyDeps resolves the entire chain from PyPI and deps.dev so you can see every transitive (nested) dependency of z3-solver, expand any node on demand, and understand the full set of code that ships when you run pip install z3-solver.
PyDeps checks z3-solver and every package in its dependency tree against the OSV vulnerability database in real time. For each CVE you can see the severity, the affected version ranges, and the first fixed version, so you know exactly which z3-solver version is safe to install before you ship.
z3-solver is distributed under the MIT License. PyDeps also shows the license of every dependency in the tree so you can audit license compatibility across your whole z3-solver install, not just the top-level package.
Install from PyPI with pip install z3-solver. For offline or air-gapped environments, PyDeps can download z3-solver together with every resolved dependency as wheel files in a single bundle, matched to your target Python version and operating system.
Switch to the dependents view to see the reverse dependencies of z3-solver — the PyPI packages that list z3-solver as a requirement. Reverse dependencies are a strong signal of how widely a package is trusted and how disruptive a breaking change would be.