z3 4.15.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.15.2
$ nix shell github:NixOS/nixpkgs/9585e9192aadc13ec3e49f33f8333bd3cda524df#z3
$ nix shell github:NixOS/nixpkgs/372d9eeeafa5b15913201e2b92e8e539ac7c64d1#z3
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
z3 |
9585e9192aad | out/nix/store/2yjhz5h1g7bad5kp6vgk537glb0j1ah8-z3-4.15.2 dev (not default)/nix/store/fzzss82dmv5r3qx19dcgsr5r2z35h7kr-z3-4.15.2-dev lib (not default)/nix/store/gyb628s4kbjivha5jz9gba89g5pd09pv-z3-4.15.2-lib python (not default)/nix/store/cbzbi66xxmrfllccgkyvarsm0arg3y3p-z3-4.15.2-python |
||
aarch64-linuxLinux · arm64 |
z3 |
9585e9192aad | out/nix/store/x0f2nkmqz41042g2yv32fnac30c29fzz-z3-4.15.2 python (not default)/nix/store/h7dip84zfbvxdmw9y8g2pxcjikw7yk1g-z3-4.15.2-python dev (not default)/nix/store/kvj828y1qwc3is62s58zf21bzcghwinj-z3-4.15.2-dev lib (not default)/nix/store/ladlpkj3rhiy73fvd0d8kcfzz564n19q-z3-4.15.2-lib |
||
x86_64-darwinmacOS · x86-64 |
z3 |
372d9eeeafa5 | out/nix/store/vn03g9lyk6s11kb1bi9pmgjw7h06xnj9-z3-4.15.2 python (not default)/nix/store/mwpvi2gwqvfv91k0dqmax8qp7h4cz9h7-z3-4.15.2-python dev (not default)/nix/store/mvzw8d5v52ydra7pbm9c5apq0jw1y8dz-z3-4.15.2-dev lib (not default)/nix/store/g7a4hfwfg9qn50mb229qk0xfw0mkncdr-z3-4.15.2-lib |
||
x86_64-linuxLinux · x86-64 |
z3 |
372d9eeeafa5 | out/nix/store/5ic22qpb2f7idlspzimq4ddl1y1x5nsf-z3-4.15.2 lib (not default)/nix/store/6xcw6hz1as8rcd1yf9q6b1d7h5136d3h-z3-4.15.2-lib python (not default)/nix/store/jn2s8n53kxy9zjxh0vnda7l215w8g95x-z3-4.15.2-python dev (not default)/nix/store/2r19g96hgqk8igbn8liicwciqjs56v1q-z3-4.15.2-dev |