z3 4.14.1
High-performance theorem prover and SMT solver
Linux and macOS
last changed
outputs: out, dev, lib, python
Pin this version
$ devbox add z3@4.14.1
$ nix shell github:NixOS/nixpkgs/8c441601c43232976179eac52dde704c8bdf81ed#z3
$ nix shell github:NixOS/nixpkgs/2f9173bde1d3fbf1ad26ff6d52f952f9e9da52ea#z3
$ nix shell github:NixOS/nixpkgs/a16efe5d2fc7455d7328a01f4692bfec152965b3#z3
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
z3 |
8c441601c432 | out/nix/store/l776nr8jwggqb7h172jz9p4816y3r06w-z3-4.14.1 python (not default)/nix/store/lsp8wa2aq42mm6h5zwg8kszyvwcwwzfx-z3-4.14.1-python dev (not default)/nix/store/kci2wvw853b0bc8bpv2xxgs9f87p6ald-z3-4.14.1-dev lib (not default)/nix/store/cd2ii4q155q6pd2jkrf02vwr78hzlsgl-z3-4.14.1-lib |
||
aarch64-linuxLinux · arm64 |
z3 |
8c441601c432 | out/nix/store/xs69rjj7z3d6vvdhr2p52k7fvnhx90ri-z3-4.14.1 python (not default)/nix/store/y2izycbfv11576lg4rvipdki8vpn0cg4-z3-4.14.1-python dev (not default)/nix/store/saa022jbl0l2l3ziha128n21qj5lyf8f-z3-4.14.1-dev lib (not default)/nix/store/zki09dlfvrdpnq7w4jnj1m15jksf2iq9-z3-4.14.1-lib |
||
x86_64-darwinmacOS · x86-64 |
z3 |
2f9173bde1d3 | out/nix/store/xq50d24c6ncmr8pih7ghjgqkz5qgzf85-z3-4.14.1 python (not default)/nix/store/rhhh8pqir91j0lv2ygm1f2bgvbwrz41p-z3-4.14.1-python dev (not default)/nix/store/qc3vwxd4vz5yvhjrwn0lhvq7rjp5nqgc-z3-4.14.1-dev lib (not default)/nix/store/cypwi18xk0cv0bdsmzisr1c52m179iq7-z3-4.14.1-lib |
||
x86_64-linuxLinux · x86-64 |
z3 |
a16efe5d2fc7 | out/nix/store/kib2kcz9gss2rzh5mdmx58cwkj18kc64-z3-4.14.1 lib (not default)/nix/store/viy5m05f1i6yl09c666ycbg538wg2r0s-z3-4.14.1-lib python (not default)/nix/store/563m9c72b7gbcyin2h31bfs20ky00cgz-z3-4.14.1-python dev (not default)/nix/store/cygziaavfajj7dhkqw4y0vc74d3xsiy7-z3-4.14.1-dev |