nixsearch / pkg / python314Packages.z3-solver / 4.16.0

python314Packages.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 python314Packages.z3-solver@4.16.0

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

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

systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d

$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#python314Packages.z3-solver

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python314Packages.z3-solver`	02f5696b0e60	2026-09-13	`python` /nix/store/b1fvhqq6zw5cmp1906cmfv2hzkvbqizp-z3-4.16.0-python `out` /nix/store/h6nixlf14p3ndbpxr1c45lzlrhs69rxn-z3-4.16.0 `dev` (not default) /nix/store/n191174s18h051ddsbqxw8vy2grs4fdn-z3-4.16.0-dev `lib` (not default) /nix/store/ml1j08fgs7wz2jzm8zq7fnnj0vx0l2yh-z3-4.16.0-lib
`aarch64-linux` Linux · arm64	`python314Packages.z3-solver`	02f5696b0e60	2026-09-13	`python` /nix/store/gf4j2npdg8gimwbh239ljnc3d7p06x5w-z3-4.16.0-python `out` /nix/store/r0bi2xq9pbiaisz56gqk1gr3d3yqpfk3-z3-4.16.0 `dev` (not default) /nix/store/7mlzrcc3wx7p38pg9f8qhv347jscxiiy-z3-4.16.0-dev `lib` (not default) /nix/store/cmjbkakvc8ml7djda93gh584fi9ca8za-z3-4.16.0-lib
`x86_64-darwin` macOS · x86-64	`python314Packages.z3-solver`	3d46470bb303	2026-06-27	`python` /nix/store/iam727h1ynmil4j02fzgyi3b9fzm6z1w-z3-4.16.0-python `out` /nix/store/6lzncybvq3ir0900lkwbav2gm5z61ihx-z3-4.16.0 `dev` (not default) /nix/store/8mx8c229cm478g51y2vlxz5j7ba6mf9m-z3-4.16.0-dev `lib` (not default) /nix/store/v871hmqk2ngqh7min7i1306d31hswlyg-z3-4.16.0-lib
`x86_64-linux` Linux · x86-64	`python314Packages.z3-solver`	02f5696b0e60	2026-09-13	`python` /nix/store/8wwnlafda17hyg03yc2kfrlf7a85hcp3-z3-4.16.0-python `out` /nix/store/rx0qkfh4zcf1lp9i94kq04yh149w10a1-z3-4.16.0 `dev` (not default) /nix/store/q711qkzsw0ma5i5jfslmx7jg3qh007mf-z3-4.16.0-dev `lib` (not default) /nix/store/hyfr0bx0vvxwxm7ybwh8vsksrzv0i0rp-z3-4.16.0-lib

all 4 releases older: 4.15.8 →

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