nixsearch / pkg / python312Packages.z3-solver / 4.13.4

python312Packages.z3-solver 4.13.4

High-performance theorem prover and SMT solver

Linux and macOS last changed 2025-04-23 outputs: out, python, dev, lib

Pin this version

$ devbox add python312Packages.z3-solver@4.13.4

systemsaarch64-darwin, x86_64-darwin, x86_64-linux commitebe4301cbd8f81c4f8d3244b3632338bbeb6d49c

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

systemsaarch64-linux commit507b63021ada5fee621b6ca371c4fca9ca46f52c

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

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python312Packages.z3-solver`	ebe4301cbd8f	2025-04-17	`python` /nix/store/yxdg8m2ljnzv7m5s6qm8w4b4d1vd9smh-z3-solver-4.13.4-python `out` /nix/store/aghwdwa1jfzmgyzks5vj5v9cip9cjsfs-z3-solver-4.13.4 `dev` (not default) /nix/store/qbh633fklfjwrk5bh6nafl75yv4gcz4h-z3-solver-4.13.4-dev `lib` (not default) /nix/store/28ry77smv75p3q06adp92grbxczj1yi5-z3-solver-4.13.4-lib
`aarch64-linux` Linux · arm64	`python312Packages.z3-solver`	507b63021ada	2025-04-23	`python` /nix/store/ixf90as6nxarf1qg1vk7bhfdbqxbdb8v-z3-solver-4.13.4-python `out` /nix/store/x14zwxr9aifbvrf2f0nq5bwlkfsybpwh-z3-solver-4.13.4 `lib` (not default) /nix/store/q14xqgcz58bg8n5hj5fyyvsz0p86r9qs-z3-solver-4.13.4-lib `dev` (not default) /nix/store/n6lpva2psz55mm28bj4lah4mcwmwbmlm-z3-solver-4.13.4-dev
`x86_64-darwin` macOS · x86-64	`python312Packages.z3-solver`	ebe4301cbd8f	2025-04-17	`python` /nix/store/jzmik45whyiprv0g7m5iynrkwsq09m4p-z3-solver-4.13.4-python `out` /nix/store/mfpcm22wd9jr050i0sjymf5rx441pz66-z3-solver-4.13.4 `dev` (not default) /nix/store/yj5lv7kg9mv0jyv6r4lx32df2nihnhh1-z3-solver-4.13.4-dev `lib` (not default) /nix/store/p22fzshd91viannr3yarwjbfjffpym8g-z3-solver-4.13.4-lib
`x86_64-linux` Linux · x86-64	`python312Packages.z3-solver`	ebe4301cbd8f	2025-04-17	`python` /nix/store/zwxs376lavlv0g2s7wq4j53fhc39q6s1-z3-solver-4.13.4-python `out` /nix/store/sx185h1zr8r6nhgsi23vc5gsxz63inf9-z3-solver-4.13.4 `dev` (not default) /nix/store/hb2khkwgn7ks843kiaaz7y9ah26sfssv-z3-solver-4.13.4-dev `lib` (not default) /nix/store/6zyjb30lic4lzrf5cix7kxmykhdfzj8c-z3-solver-4.13.4-lib

← newer: 4.14.1 all 8 releases older: 4.8.17 →

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