z3_4_12 4.12.1

High-performance theorem prover and SMT solver

Linux and macOS last changed 2023-06-25 outputs: out, dev, lib, python

Pin this version

$ devbox add z3_4_12@4.12.1

systemsaarch64-darwin, x86_64-darwin, x86_64-linux commit07059ee2fa34f1598758839b9af87eae7f7ae6ea

$ nix shell github:NixOS/nixpkgs/07059ee2fa34f1598758839b9af87eae7f7ae6ea#z3_4_12

systemsaarch64-linux commitdc2afced518559f1c962b5824599b2c99c7684e3

$ nix shell github:NixOS/nixpkgs/dc2afced518559f1c962b5824599b2c99c7684e3#z3_4_12

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`z3_4_12`	07059ee2fa34	2023-06-25	`out` /nix/store/kg1mvbjcvyr32b2k3zxr56ld4a2zhx7p-z3-4.12.1 `lib` (not default) /nix/store/zh5d975677zxmvkzpnzk7dp1dmsa76iv-z3-4.12.1-lib `python` (not default) /nix/store/mja8a9lv2xhac8p1pxq37zf59m63rrlq-z3-4.12.1-python `dev` (not default) /nix/store/8a4iykmhabfgbfjywk7zy1hxc4q6h2pw-z3-4.12.1-dev
`aarch64-linux` Linux · arm64	`z3_4_12`	dc2afced5185	2023-06-25	`out` /nix/store/xk923pf2n3ypfv6knsyi4xpzy0qh9ddg-z3-4.12.1 `python` (not default) /nix/store/h9p1464gv8pj1a0amgg7hy7qp3kr483i-z3-4.12.1-python `dev` (not default) /nix/store/m4gkry3iq3kdcvrkjiggmhhfg1v0ggnj-z3-4.12.1-dev `lib` (not default) /nix/store/y9v1adfx9sgxmhprh8agivfdsg0klljy-z3-4.12.1-lib
`x86_64-darwin` macOS · x86-64	`z3_4_12`	07059ee2fa34	2023-06-25	`out` /nix/store/49rifbcf7vvr17zzc70hpa3g30b0fcl6-z3-4.12.1 `dev` (not default) /nix/store/gix5zb4r150d8r796l09qhc2q0jpcs4s-z3-4.12.1-dev `lib` (not default) /nix/store/8s14vzsbv2g9516f3l2b34qrvk4slfja-z3-4.12.1-lib `python` (not default) /nix/store/v7fmq8xg2ycr0890b24r15qx4cqhfliw-z3-4.12.1-python
`x86_64-linux` Linux · x86-64	`z3_4_12`	07059ee2fa34	2023-06-25	`out` /nix/store/7aq44vcbga2mmiyzjfchjfn1km6wyn91-z3-4.12.1 `dev` (not default) /nix/store/k9m4m1g5jfcrizd041c6s6dp08fvjggi-z3-4.12.1-dev `lib` (not default) /nix/store/mzh3fpb1l1blfavcib3dahj3wi7ys3jy-z3-4.12.1-lib `python` (not default) /nix/store/lzmzgm9cqd0jk0vvkw81i32j3gp81cy0-z3-4.12.1-python