nixsearch / pkg / python313Packages.z3-solver / 4.16.0

python313Packages.z3-solver 4.16.0

High-performance theorem prover and SMT solver

Linux and macOS last changed 2026-09-13 outputs: out, python, dev, lib

Pin this version

$ devbox add python313Packages.z3-solver@4.16.0

systemsaarch64-darwin, aarch64-linux, x86_64-linux commit02f5696b0e6097e589076d886b317b83ff0437d7

$ nix shell github:NixOS/nixpkgs/02f5696b0e6097e589076d886b317b83ff0437d7#python313Packages.z3-solver

systemsx86_64-darwin commitd33369954a67ae3322177dc9a3d564092912120c

$ nix shell github:NixOS/nixpkgs/d33369954a67ae3322177dc9a3d564092912120c#python313Packages.z3-solver

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python313Packages.z3-solver`	02f5696b0e60	2026-09-13	`python` /nix/store/gvbch5wljji646lmf0drq6v0klm8j1wf-z3-4.16.0-python `out` /nix/store/y1p6yzm7ni9q1qrwf2zxgsrz7jg6q225-z3-4.16.0 `dev` (not default) /nix/store/9y8aq73x55vf9kxgwp666jwczdi9bsra-z3-4.16.0-dev `lib` (not default) /nix/store/9pfhjk5wd499ayq64575f297bjc7410s-z3-4.16.0-lib
`aarch64-linux` Linux · arm64	`python313Packages.z3-solver`	02f5696b0e60	2026-09-13	`python` /nix/store/5mi3mai3n3hkvrwngfcc0fgdf9fqd90h-z3-4.16.0-python `out` /nix/store/x8d20qflbk00j3k09nnnhggah6sa4nb4-z3-4.16.0 `dev` (not default) /nix/store/kyx91zvy4r4s2pdh9x1kk0k3psvhzxkf-z3-4.16.0-dev `lib` (not default) /nix/store/jqr3blswwyzv7x4w4xg90ljd8hrab5p9-z3-4.16.0-lib
`x86_64-darwin` macOS · x86-64	`python313Packages.z3-solver`	d33369954a67	2026-07-02	`python` /nix/store/d453pzdj7kl8z4y4jlv99m0xs9m5kn5s-z3-4.16.0-python `out` /nix/store/5pp0w2532qr07hvyq53pcxpw5bb8nh8s-z3-4.16.0 `dev` (not default) /nix/store/h92aaagdqp7p95a69cbvxhyld5jmvn14-z3-4.16.0-dev `lib` (not default) /nix/store/kmvmbmvaaji5qri5i1b5qj5xj7d7icsy-z3-4.16.0-lib
`x86_64-linux` Linux · x86-64	`python313Packages.z3-solver`	02f5696b0e60	2026-09-13	`python` /nix/store/iv0inqjqi6h4gm428bk0m4x29lkn87sl-z3-4.16.0-python `out` /nix/store/v8a3d986xwrflrzri3c9gzcpp0wwj4gw-z3-4.16.0 `dev` (not default) /nix/store/qbvxva20dx3z2xsm0lmr131bdr5wq7cg-z3-4.16.0-dev `lib` (not default) /nix/store/w47jxnl5l11az3b35c495av1b3njnsl2-z3-4.16.0-lib

all 11 releases older: 4.15.8 →

JSON: /v2/pkg?name=python313Packages.z3-solver · /v2/resolve?name=python313Packages.z3-solver&version=4.16.0