z3 5.1.0 maintained

High-performance theorem prover and SMT solver

Name: z3-5.1.0
Package set: top-level
Homepage: https://github.com/Z3Prover/z3
License: MIT
Main program: z3
Source: pkgs/by-name/z3/z3/package.nix:175
Derivation: /nix/store/sdr58drs77dsh9a7i0b1cg77q7wsirbh-z3-5.1.0.drv
Also available as: python314Packages.z3-solver

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,875	unmaintained
ninja 1.13.2	nativeBuildInputs	bjornfor, thoughtpolice	68,114	maintained
python3 3.14.7	nativeBuildInputs	mweinelt	72,537	team-only
python314Packages.pythonImportsCheckHook 26.05pre-git	nativeBuildInputs		71,715	unmaintained setup hook
python314Packages.setuptools 83.0.0	nativeBuildInputs	mweinelt	71,381	team-only
versionCheckHook 26.05pre-git	nativeBuildInputs	doronbehar	78,668	single setup hook
bashNonInteractive 5.3p15	other input	andir, balsoft, infinisil, pyrox0	102,441	maintained
stdenv 26.05pre-git	other input		90,330	team-only

Used by 41 directly, 114 transitively

Package	As	Maintainers	Used by (transitive)	Status
haskellPackages.sbv 11.7	other input		18	unmaintained
haskellPackages.smtlib-backends-process 0.3	buildInputs	ulysses4ever	18	single
haskellPackages.rest-rewrite 0.4.5	buildInputs	tbidne	17	single
sby 0.69	nativeBuildInputs	carlossless, thoughtpolice	14	maintained
haskellPackages.copilot-theorem 4.5.1	nativeBuildInputs		13	unmaintained
haskellPackages.liquidhaskell 0.9.10.1.2	buildInputs	ulysses4ever	11	single
haskellPackages.copilot-libraries 4.5.1	nativeBuildInputs		8	unmaintained
haskellPackages.z3 408.2	buildInputs		5	unmaintained
python314Packages.deal-solver 0.1.2	propagatedBuildInputs	gador	4	single
python314Packages.claripy 9.2.193	propagatedBuildInputs	fabaff	3	single
haskellPackages.crucible-llvm 0.9	nativeBuildInputs		2	unmaintained broken
ponyc 0.68.0	buildInputs	kamilchm, numinit, redvers	1	maintained
python314Packages.tinygrad 0.13.0	nativeBuildInputs	GaetanLepage	1	single
acl2 8.6	buildInputs	7c6f434c, kini	0	maintained unfree
alive2 21.0	buildInputs	eljamm, ethancedwards8, phanirithvij, Prince213, Sh0g0-1758	0	maintained
boogie 3.5.7	other input	taktoa	0	single
circt 1.160.0	nativeBuildInputs	pineapplehunter, sequencer, SharzyL	0	maintained
dafny 4.11.0	other input	layus	0	single
hal-hardware-analyzer 4.5.0	buildInputs	risicle	0	single
haskellPackages.cryptol 3.5.0	other input		0	unmaintained
haskellPackages.hz3 96.0.0.0	buildInputs		0	unmaintained
haskellPackages.liquidhaskell_0_9_12_2_1 0.9.12.2.1	buildInputs	ulysses4ever	0	single
haskellPackages.sbv_14_0 14.0	buildInputs		0	unmaintained
haskellPackages.smtlib-backends-z3 0.3.1	buildInputs		0	unmaintained
haskellPackages.target 0.2.0.1	buildInputs		0	unmaintained
iprover 3.9.2	buildInputs	7c6f434c	0	single
key 3.0.0	nativeBuildInputs	fgaz, FliegendeWurst	0	maintained
klee 3.2	buildInputs	numinit	0	single broken
openshell 0.0.116	buildInputs	wishstudio	0	single
prusa-slicer 2.9.6	buildInputs	FliegendeWurst, hesiod, thorstenweber83	0	maintained
python314Packages.miasm 0.1.5-unstable-2024-08-20	propagatedBuildInputs	msanft	0	single
python314Packages.model-checker 1.4.1	propagatedBuildInputs	fabaff	0	single
python314Packages.tilelang 0.1.13	propagatedBuildInputs	Prince213	0	single
sail-riscv 0.12	nativeBuildInputs	xokdvium	0	single
simbaplusplus 0-unstable-2025-11-05	buildInputs	emilytrau	0	single
solc 0.8.33	buildInputs	akru, dbrock, lionello, sifmelcara	0	maintained
super-slicer 2.5.59.13	buildInputs	cab404, hesiod	0	maintained
super-slicer-beta 2.7.61.6	buildInputs	cab404, hesiod	0	maintained
symcc 1.0-unstable-2024-07-16	buildInputs	jollheef	0	single
ugarit 2.0	propagatedBuildInputs		0	unmaintained
z3-tptp 5.1.0	buildInputs	7c6f434c, numinit, thoughtpolice	0	maintained