z3 4.16.0
High-performance theorem prover and SMT solver
Linux and macOS
last changed
outputs: out, dev, lib, python
Pin this version
$ devbox add z3@4.16.0
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#z3
$ nix shell github:NixOS/nixpkgs/e8273b29fe1390ec8d4603f2477357555291432e#z3
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
z3 |
b6c8664de9b6 | out/nix/store/s0hvp2lp9njyhza1rw5f2wlhsb3x66z0-z3-4.16.0 dev (not default)/nix/store/sa3l421c08ayf9xbs83izmspqcxjr3ak-z3-4.16.0-dev lib (not default)/nix/store/wffxsgg099kzcil5vnn3rpg17r62msrb-z3-4.16.0-lib python (not default)/nix/store/m8xxxr050qz18lim7dx365yyv3hnqm6r-z3-4.16.0-python |
||
aarch64-linuxLinux · arm64 |
z3 |
b6c8664de9b6 | out/nix/store/xnzsfln6b9m30qnxigypr84kn03ijsbl-z3-4.16.0 dev (not default)/nix/store/h62bk4qab96xx4qhwv9f05yfyzicimwi-z3-4.16.0-dev lib (not default)/nix/store/7ap4ald95dda6sdnd3ibmph6z5c7dgdl-z3-4.16.0-lib python (not default)/nix/store/48pj1y5070mbh19psp496ygq53p302v2-z3-4.16.0-python |
||
x86_64-darwinmacOS · x86-64 |
z3 |
e8273b29fe13 | out/nix/store/5pp0w2532qr07hvyq53pcxpw5bb8nh8s-z3-4.16.0 dev (not default)/nix/store/h92aaagdqp7p95a69cbvxhyld5jmvn14-z3-4.16.0-dev lib (not default)/nix/store/kmvmbmvaaji5qri5i1b5qj5xj7d7icsy-z3-4.16.0-lib python (not default)/nix/store/d453pzdj7kl8z4y4jlv99m0xs9m5kn5s-z3-4.16.0-python |
||
x86_64-linuxLinux · x86-64 |
z3 |
b6c8664de9b6 | out/nix/store/wh7aghk1psckkmzha1lkxr5zn7xg4l7z-z3-4.16.0 dev (not default)/nix/store/jaa7sylzjhsx41nw8hd23x66l8r93mgd-z3-4.16.0-dev lib (not default)/nix/store/h5j4nq4nb3i4w8rnc53jc39kcsxpg1sa-z3-4.16.0-lib python (not default)/nix/store/rrm4a4xbqad26ld53xf1pqxriay540di-z3-4.16.0-python |