nixsearch / pkg / python312Packages.z3-solver / 4.15.0

python312Packages.z3-solver 4.15.0

High-performance theorem prover and SMT solver

Linux and macOS last changed 2025-06-14 outputs: out, python, dev, lib

Pin this version

$ devbox add python312Packages.z3-solver@4.15.0

systemsaarch64-darwin commitd202f48f1249f013aa2660c6733e251c85712cbe

$ nix shell github:NixOS/nixpkgs/d202f48f1249f013aa2660c6733e251c85712cbe#python312Packages.z3-solver

systemsaarch64-linux commit59138c7667b7970d205d6a05a8bfa2d78caa3643

$ nix shell github:NixOS/nixpkgs/59138c7667b7970d205d6a05a8bfa2d78caa3643#python312Packages.z3-solver

systemsx86_64-darwin commit41da1e3ea8e23e094e5e3eeb1e6b830468a7399e

$ nix shell github:NixOS/nixpkgs/41da1e3ea8e23e094e5e3eeb1e6b830468a7399e#python312Packages.z3-solver

systemsx86_64-linux commitcdc68935eba9f86d155585fdf6f17af6824f38ac

$ nix shell github:NixOS/nixpkgs/cdc68935eba9f86d155585fdf6f17af6824f38ac#python312Packages.z3-solver

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python312Packages.z3-solver`	d202f48f1249	2025-06-12	`python` /nix/store/4xyl176gfal9viw9kkpy55dxg6dybp5l-z3-4.15.0-python `out` /nix/store/zvy1c7gqwbkr4jz0ry6vbpdzqpb45b5b-z3-4.15.0 `dev` (not default) /nix/store/rj678mn1fjx18kcazzsdklfan1mk0vch-z3-4.15.0-dev `lib` (not default) /nix/store/rkrlr81wrqanvs6h69w6pqgfvs9ns5vl-z3-4.15.0-lib
`aarch64-linux` Linux · arm64	`python312Packages.z3-solver`	59138c7667b7	2025-05-31	`python` /nix/store/sm5jpqk7kwv5vgr4xn0qlmcafj7q4k48-z3-4.15.0-python `out` /nix/store/xy3hlqx5xxiki7s3ssinw5hqa1pyjh6q-z3-4.15.0 `dev` (not default) /nix/store/mj0gn659hivchdg56l7l0yfj3qxayfp2-z3-4.15.0-dev `lib` (not default) /nix/store/5b5zs0aacs7f9hj0gg52yvgj6p660lgw-z3-4.15.0-lib
`x86_64-darwin` macOS · x86-64	`python312Packages.z3-solver`	41da1e3ea8e2	2025-06-14	`python` /nix/store/fls1kp99a3kmhdl66r22l05pqwr2lczf-z3-4.15.0-python `out` /nix/store/cn6m96gk7pzx8j20jbidbx2y9hbjdcz8-z3-4.15.0 `dev` (not default) /nix/store/3qhk83y994jrv12fdqy1d0qlpb3va7z5-z3-4.15.0-dev `lib` (not default) /nix/store/zhjyqp3wkwq6axd9akknkcsmjmzqrzpq-z3-4.15.0-lib
`x86_64-linux` Linux · x86-64	`python312Packages.z3-solver`	cdc68935eba9	2025-06-10	`python` /nix/store/rslkdlj8lm4l4b3fgcmfcn7nkhk3rwkb-z3-4.15.0-python `out` /nix/store/zqmhssdjshgbjqqd1dadcnhj4wm0cjr4-z3-4.15.0 `dev` (not default) /nix/store/y41kxzqz18nyfw40a9sbcv65d41m8wbk-z3-4.15.0-dev `lib` (not default) /nix/store/v92375kcxc50qzjnxr3ibv0389k79hg8-z3-4.15.0-lib

← newer: 4.15.1 all 8 releases older: 4.14.1 →

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