z3_4_12 4.12.6

High-performance theorem prover and SMT solver

Linux and macOS last changed 2025-04-23 outputs: out, dev, lib, python

Pin this version

$ devbox add z3_4_12@4.12.6

systemsaarch64-darwin, aarch64-linux, x86_64-darwin commitebe4301cbd8f81c4f8d3244b3632338bbeb6d49c

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

systemsx86_64-linux commit507b63021ada5fee621b6ca371c4fca9ca46f52c

$ nix shell github:NixOS/nixpkgs/507b63021ada5fee621b6ca371c4fca9ca46f52c#z3_4_12

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`z3_4_12`	ebe4301cbd8f	2025-04-17	`out` /nix/store/wdblaxycpjb8z1vvw2wkfajvjgvzwvsw-z3-4.12.6 `dev` (not default) /nix/store/s0na8ybm3xwn5alls2j8m5wkk3akb8qk-z3-4.12.6-dev `lib` (not default) /nix/store/z4q86skdzkasnnsy1kqcaxjrdiyabjkj-z3-4.12.6-lib `python` (not default) /nix/store/22wv9liijww83sgrxvrwzwg2p9viwsmv-z3-4.12.6-python
`aarch64-linux` Linux · arm64	`z3_4_12`	ebe4301cbd8f	2025-04-17	`out` /nix/store/y4zvyhs0m388dibjh8qci0z3yhf9bagz-z3-4.12.6 `python` (not default) /nix/store/304pr9sbr3h3qc7g707q3mw4ysanwljq-z3-4.12.6-python `dev` (not default) /nix/store/hcjki21c3jn955vwpwqi03ns8spn2g7b-z3-4.12.6-dev `lib` (not default) /nix/store/8394b82n15vl5fwdqjizp7ng7mxaszfb-z3-4.12.6-lib
`x86_64-darwin` macOS · x86-64	`z3_4_12`	ebe4301cbd8f	2025-04-17	`out` /nix/store/if8p46in6dmznzfhk0rxjcwy7adlgh3w-z3-4.12.6 `python` (not default) /nix/store/h2kyrf2bx4m7hzx6r9628zks7nnv9ip0-z3-4.12.6-python `dev` (not default) /nix/store/4pr1m428pwndfpyzvrnbvhgj7fmbhdrg-z3-4.12.6-dev `lib` (not default) /nix/store/9v89nkp66aflq57pdhqc6xj7dqc81fpp-z3-4.12.6-lib
`x86_64-linux` Linux · x86-64	`z3_4_12`	507b63021ada	2025-04-23	`out` /nix/store/kkgnw5yhyx815a66fgq68wpqyvb2nsbq-z3-4.12.6 `lib` (not default) /nix/store/2wbj4gxrxi48b3qnzdh6g6r2csk30igb-z3-4.12.6-lib `python` (not default) /nix/store/7rz4j23gms4gd8wa96jpxb6i1by0rm53-z3-4.12.6-python `dev` (not default) /nix/store/b3nslnq7ldcz3wnzb3m83yb658jsdylp-z3-4.12.6-dev