nixsearch / pkg / python312Packages.z3-solver / 4.14.1

python312Packages.z3-solver 4.14.1

High-performance theorem prover and SMT solver

Linux and macOS last changed 2025-05-19 outputs: out, python, dev, lib

Pin this version

$ devbox add python312Packages.z3-solver@4.14.1

systemsaarch64-darwin commit8406224e30c258025cb8b31704bdb977a8f1f009

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

systemsaarch64-linux, x86_64-darwin commit12a55407652e04dcf2309436eb06fef0d3713ef3

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

systemsx86_64-linux commit359c442b7d1f6229c1dc978116d32d6c07fe8440

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

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python312Packages.z3-solver`	8406224e30c2	2025-05-18	`python` /nix/store/lsp8wa2aq42mm6h5zwg8kszyvwcwwzfx-z3-4.14.1-python `out` /nix/store/l776nr8jwggqb7h172jz9p4816y3r06w-z3-4.14.1 `dev` (not default) /nix/store/kci2wvw853b0bc8bpv2xxgs9f87p6ald-z3-4.14.1-dev `lib` (not default) /nix/store/cd2ii4q155q6pd2jkrf02vwr78hzlsgl-z3-4.14.1-lib
`aarch64-linux` Linux · arm64	`python312Packages.z3-solver`	12a55407652e	2025-05-16	`python` /nix/store/y2izycbfv11576lg4rvipdki8vpn0cg4-z3-4.14.1-python `out` /nix/store/xs69rjj7z3d6vvdhr2p52k7fvnhx90ri-z3-4.14.1 `dev` (not default) /nix/store/saa022jbl0l2l3ziha128n21qj5lyf8f-z3-4.14.1-dev `lib` (not default) /nix/store/zki09dlfvrdpnq7w4jnj1m15jksf2iq9-z3-4.14.1-lib
`x86_64-darwin` macOS · x86-64	`python312Packages.z3-solver`	12a55407652e	2025-05-16	`python` /nix/store/rhhh8pqir91j0lv2ygm1f2bgvbwrz41p-z3-4.14.1-python `out` /nix/store/xq50d24c6ncmr8pih7ghjgqkz5qgzf85-z3-4.14.1 `dev` (not default) /nix/store/qc3vwxd4vz5yvhjrwn0lhvq7rjp5nqgc-z3-4.14.1-dev `lib` (not default) /nix/store/cypwi18xk0cv0bdsmzisr1c52m179iq7-z3-4.14.1-lib
`x86_64-linux` Linux · x86-64	`python312Packages.z3-solver`	359c442b7d1f	2025-05-19	`python` /nix/store/563m9c72b7gbcyin2h31bfs20ky00cgz-z3-4.14.1-python `out` /nix/store/kib2kcz9gss2rzh5mdmx58cwkj18kc64-z3-4.14.1 `dev` (not default) /nix/store/cygziaavfajj7dhkqw4y0vc74d3xsiy7-z3-4.14.1-dev `lib` (not default) /nix/store/viy5m05f1i6yl09c666ycbg538wg2r0s-z3-4.14.1-lib

← newer: 4.15.0 all 8 releases older: 4.13.4 →

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