z3_4_12 4.12.5
High-performance theorem prover and SMT solver
Linux and macOS
last changed
outputs: out, dev, lib, python
Pin this version
$ devbox add z3_4_12@4.12.5
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitae06b9c2d83cb5c8b12d7d0e32692e93d1379713
$ nix shell github:NixOS/nixpkgs/ae06b9c2d83cb5c8b12d7d0e32692e93d1379713#z3_4_12
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
z3_4_12 |
ae06b9c2d83c | out/nix/store/fij0rlm3c4ip1ycfc1148lss0v02llfp-z3-4.12.5 python (not default)/nix/store/141ihc9nn2xxs2l3l9lrnj0yll8j2msf-z3-4.12.5-python dev (not default)/nix/store/ndl036bnmwhimysd4kdcbi46nia0k403-z3-4.12.5-dev lib (not default)/nix/store/ayhy4ipay8r1plrzjjn3xw5q5673l9ry-z3-4.12.5-lib |
||
aarch64-linuxLinux · arm64 |
z3_4_12 |
ae06b9c2d83c | out/nix/store/zlxi0q5w8rsdlbfiiq58qf6kyp9x8gbp-z3-4.12.5 python (not default)/nix/store/22xyidjhrbg23fgvqbggi3yv59s17si1-z3-4.12.5-python dev (not default)/nix/store/ns5j6i54dgx43r6ngfs30v9rirlp995h-z3-4.12.5-dev lib (not default)/nix/store/3rzgbin24banxrppkg0zr6x5alp6ll94-z3-4.12.5-lib |
||
x86_64-darwinmacOS · x86-64 |
z3_4_12 |
ae06b9c2d83c | out/nix/store/p84pyaigh2wpbrb196nxic9hss29mcij-z3-4.12.5 lib (not default)/nix/store/6awqj0ibvnjfsagnrln6lvnn988afv4w-z3-4.12.5-lib python (not default)/nix/store/pz6s6sgaxvalj384g1gdr10qymxxh0s5-z3-4.12.5-python dev (not default)/nix/store/5yy25ndvnxh1qij810ihckfy3qzmfb9g-z3-4.12.5-dev |
||
x86_64-linuxLinux · x86-64 |
z3_4_12 |
ae06b9c2d83c | out/nix/store/bi0y7m1blm5gkg8p9jhmaxmn6ivrbkji-z3-4.12.5 lib (not default)/nix/store/apd1cdr19vw8z1zb9z1yaw8cy43hhx7y-z3-4.12.5-lib python (not default)/nix/store/83s99hxg26va643lifimvcn71sk5rqqq-z3-4.12.5-python dev (not default)/nix/store/ckzwbmyw4glmz5y9wqv9wi6facc0rl9c-z3-4.12.5-dev |
JSON: /v2/pkg?name=z3_4_12 · /v2/resolve?name=z3_4_12&version=4.12.5