python313Packages.z3-solver 5.1.0 maintained
High-performance theorem prover and SMT solver
- Name
z3-5.1.0- Package set
- python313Packages
- Homepage
- https://github.com/Z3Prover/z3
- License
- MIT
- Main program
z3- Source
- pkgs/by-name/z3/z3/package.nix:175
- Derivation
/nix/store/sd82nvmhpqs99iz26mn1qf19kx7hi8i6-z3-5.1.0.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Maintainers 2
| Handle | Name | Contact | Via |
|---|---|---|---|
| numinit | Morgan Jones | GitHub · me+nixpkgs@numin.it | listed on package |
| thoughtpolice | Austin Seipp | GitHub · aseipp@pobox.com | listed on package |
Dependencies 8
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| cmake 4.4.3 | nativeBuildInputs | 68,621 | unmaintained outdated | |
| ninja 1.13.2 | nativeBuildInputs | 67,851 | maintained | |
| python313 3.13.15 | nativeBuildInputs | 13,660 | team-only outdated | |
| python313Packages.pythonImportsCheckHook 26.05pre-git | nativeBuildInputs | 11,642 | unmaintained setup hook | |
| python313Packages.setuptools 83.0.0 | nativeBuildInputs | 11,500 | team-only outdated | |
| versionCheckHook 26.05pre-git | nativeBuildInputs | 78,406 | single setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 6 directly, 13 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| python313Packages.deal-solver 0.1.2 | propagatedBuildInputs | 4 | single | |
| python313Packages.claripy 9.2.193 | propagatedBuildInputs | 3 | single outdated | |
| python313Packages.miasm 0.1.5-unstable-2024-08-20 | propagatedBuildInputs | 0 | single | |
| python313Packages.model-checker 1.4.1 | propagatedBuildInputs | 0 | single | |
| python313Packages.tilelang 0.1.13 | propagatedBuildInputs | 0 | single outdated | |
| python313Packages.tinygrad 0.14.0 | nativeBuildInputs | 0 | single |