z3 4.15.8
High-performance theorem prover and SMT solver
Linux and macOS
last changed
outputs: out, dev, lib, python
Pin this version
$ devbox add z3@4.15.8
$ nix shell github:NixOS/nixpkgs/02f3fa0374fa13707d42d55d58ecc76b091f223c#z3
$ nix shell github:NixOS/nixpkgs/9d29d5f667d7467f98efc31881e824fa586c927e#z3
$ nix shell github:NixOS/nixpkgs/b0188973b4b2a5b6bdba8b65381d6cd09a533da0#z3
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
z3 |
02f3fa0374fa | out/nix/store/ynjn8r584n3nn6pi52y183xybry4j5v6-z3-4.15.8 python (not default)/nix/store/56ax8fg727fpd272m5wqkyhzda6zsnib-z3-4.15.8-python dev (not default)/nix/store/473ijzdiwfhfyawc4wrm6lgsyzilcclr-z3-4.15.8-dev lib (not default)/nix/store/ydyidq2qy74mbj1xb3gc0cip33acx1bv-z3-4.15.8-lib |
||
aarch64-linuxLinux · arm64 |
z3 |
9d29d5f667d7 | out/nix/store/zasrzhbv2vfwlmfaclzlid4vinp3dkan-z3-4.15.8 python (not default)/nix/store/qq65bxycnhkkiwgpgpf0az9n6jsx1qcx-z3-4.15.8-python dev (not default)/nix/store/xr4cf8ixriwdabd6jsyvd5jh8k1vli70-z3-4.15.8-dev lib (not default)/nix/store/gwwpcps2q5gf0m6yb714xkbss27r4im2-z3-4.15.8-lib |
||
x86_64-darwinmacOS · x86-64 |
z3 |
b0188973b4b2 | out/nix/store/ra1sgvgfpxvpyisnn5mr7iksg8svxas6-z3-4.15.8 dev (not default)/nix/store/i663jp7ps1v7qh405cq9yipzcwm8yi61-z3-4.15.8-dev lib (not default)/nix/store/7swal0ningizn2fz205sa3sy5hdcl39q-z3-4.15.8-lib python (not default)/nix/store/2yn19b15q5yqz7z37z5w2dshap1q7c43-z3-4.15.8-python |
||
x86_64-linuxLinux · x86-64 |
z3 |
9d29d5f667d7 | out/nix/store/fyvrsfnsqsbalrfhmq3sfjnqc316mlmw-z3-4.15.8 dev (not default)/nix/store/nr4h15yzp0ivkahmdk11bhpmdqwyrfw1-z3-4.15.8-dev lib (not default)/nix/store/izlan4g6md03s0jfpj41fjdg81lff162-z3-4.15.8-lib python (not default)/nix/store/mcvzckp2kb2sgxh2zlsyrxdxbmgkg69w-z3-4.15.8-python |