z3_4_12 4.12.2
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.2
$ nix shell github:NixOS/nixpkgs/d6863cbcbbb80e71cecfc03356db1cda38919523#z3_4_12
$ nix shell github:NixOS/nixpkgs/69973a9a20858b467dd936542c63554f3675e02d#z3_4_12
$ nix shell github:NixOS/nixpkgs/d44d59d2b5bd694cd9d996fd8c51d03e3e9ba7f7#z3_4_12
$ nix shell github:NixOS/nixpkgs/e1fa12d4f6c6fe19ccb59cac54b5b3f25e160870#z3_4_12
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
z3_4_12 |
d6863cbcbbb8 | out/nix/store/lypg2yx1hy8xjkvcaxrg9s8j3i32p4sx-z3-4.12.2 dev (not default)/nix/store/2xj5swdnwxrr0xd1fxckllyxykj09gi1-z3-4.12.2-dev lib (not default)/nix/store/ckwcq5jr0kmsgrh1azl2i07w714h552c-z3-4.12.2-lib python (not default)/nix/store/hn0mlnkkqkn77r7ncpcw4hbnr794fiky-z3-4.12.2-python |
||
aarch64-linuxLinux · arm64 |
z3_4_12 |
69973a9a2085 | out/nix/store/z9c0ysqvys99g30si18jwmpscp053b0m-z3-4.12.2 dev (not default)/nix/store/8nz21pz3ashy29c5pkpzalcz018b7x8f-z3-4.12.2-dev lib (not default)/nix/store/7g7b0d9kralvzr1dacrirp5v64im5qqj-z3-4.12.2-lib python (not default)/nix/store/fdddca6rv16l188mnmpsxznysh3r7yi7-z3-4.12.2-python |
||
x86_64-darwinmacOS · x86-64 |
z3_4_12 |
d44d59d2b5bd | out/nix/store/rsd3yawxqpy5q8pizddxgwrnqd2hbzfi-z3-4.12.2 python (not default)/nix/store/mkz43xjf16byiaq6isidwbyvx4y6khbj-z3-4.12.2-python dev (not default)/nix/store/mg45bdcxcyxzz9azsn2mch135f9grs8c-z3-4.12.2-dev lib (not default)/nix/store/q6fjb9zwcsm508z2b4p8pgysw0px5maq-z3-4.12.2-lib |
||
x86_64-linuxLinux · x86-64 |
z3_4_12 |
e1fa12d4f6c6 | out/nix/store/8ncixal8mma49mqzl974z74nzbh6fh95-z3-4.12.2 python (not default)/nix/store/23qnmpjksvs85ffdfq44cvw1q525x3ik-z3-4.12.2-python dev (not default)/nix/store/36jxw6m7an5hrz2ja80r2yzjxnkzrg1v-z3-4.12.2-dev lib (not default)/nix/store/qycwacqnqqp1sh21702rdy0lkpg1lsm3-z3-4.12.2-lib |
JSON: /v2/pkg?name=z3_4_12 · /v2/resolve?name=z3_4_12&version=4.12.2