z3_4_8 4.8.17

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_8@4.8.17

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

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

systemsx86_64-linux commit507b63021ada5fee621b6ca371c4fca9ca46f52c

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`z3_4_8`	ebe4301cbd8f	2025-04-17	`out` /nix/store/3j46npd4llbd1inqlmwcjpjijvmcyxlm-z3-4.8.17 `dev` (not default) /nix/store/22k67nqc6qjz38higc1ns4hk0x37lf2g-z3-4.8.17-dev `lib` (not default) /nix/store/zbs1g3njf17x2418g1ck4xizjpm3avmf-z3-4.8.17-lib `python` (not default) /nix/store/d4kd712bm4l1ra4grq9haf5bdwnki7gv-z3-4.8.17-python
`aarch64-linux` Linux · arm64	`z3_4_8`	ebe4301cbd8f	2025-04-17	`out` /nix/store/456f0661wid35adxnyq5g3kws5wa1b36-z3-4.8.17 `dev` (not default) /nix/store/xmhlrg54v5zgqvrnd18bxdsa2gfc664p-z3-4.8.17-dev `lib` (not default) /nix/store/ii97mif77f36qk4m6d6bsqkfcdil2jjr-z3-4.8.17-lib `python` (not default) /nix/store/z8rbxc5agpwr3wnd1xjij91p9h9s9sm6-z3-4.8.17-python
`x86_64-darwin` macOS · x86-64	`z3_4_8`	ebe4301cbd8f	2025-04-17	`out` /nix/store/81gqrqdb1ajf7qapg2sirn67nnb0zrpl-z3-4.8.17 `dev` (not default) /nix/store/9fpb32lpsgyb1rcb0baqk0d8dqh878in-z3-4.8.17-dev `lib` (not default) /nix/store/4aaymkvpvdkn00jr8hm1kz5lj73q4zbx-z3-4.8.17-lib `python` (not default) /nix/store/421xy2i7gigfnmwb2528ccj3ahcnzf1j-z3-4.8.17-python
`x86_64-linux` Linux · x86-64	`z3_4_8`	507b63021ada	2025-04-23	`out` /nix/store/fvhcgism3xrafmh7njk1j7w7a5ipnmpp-z3-4.8.17 `python` (not default) /nix/store/8gpyqa4177d3dxpcahm3krnmr87xqhqn-z3-4.8.17-python `dev` (not default) /nix/store/d76jmc5g2hq1i1myflicwal2b0rbrc42-z3-4.8.17-dev `lib` (not default) /nix/store/7x2gkq0mgc7gzwlq1as8i7809s50mjk9-z3-4.8.17-lib