Package profile
z3-solver
- Summary: an efficient SMT solver library
- Author: The Z3 Theorem Prover Project
- License: MIT License
- Homepage: https://github.com/Z3Prover/z3
- Source: https://github.com/Z3Prover/z3
- Number of releases: 52
- First release: 4.4.2.1 on 2016-10-11
- Latest release: 5.1.0.0 on 2026-08-16
- Latest release size: 37.0 MB (wheel)
Dependencies
Z3-solver has one dependency (non-optional).View all 1 dependencies →Dependent packages
| Package | Optional | Group |
|---|---|---|
| crosshair-tool | false | |
| deal-solver | false | |
| tilelang | false | |
| pyomo | true | optional |
| qiskit | true | crosstalk-pass |
Similar packages
- optreeOptimized PyTree Utilities.
- numdifftoolsSolves automatic numerical differentiation problems in one or more variables.
- kiwisolverA fast implementation of the Cassowary constraint solver
- scikit-optimizeSequential model-based optimization toolbox.
- ecosThis is the Python package for ECOS: Embedded Cone Solver. See Github page for more information.
- nevergradA Python toolbox for performing gradient-free optimization
- clarabelClarabel Conic Interior Point Solver for Rust / Python