z3_4_12 4.12.4

High-performance theorem prover and SMT solver

Linux and macOS last changed 2024-01-31 outputs: out, dev, lib, python

Pin this version

$ devbox add z3_4_12@4.12.4

systemsaarch64-darwin, aarch64-linux, x86_64-darwin commit269ce7215bb5b436546786e8d354d37903e102a8

$ nix shell github:NixOS/nixpkgs/269ce7215bb5b436546786e8d354d37903e102a8#z3_4_12

systemsx86_64-linux commit5ad9903c16126a7d949101687af0aa589b1d7d3d

$ nix shell github:NixOS/nixpkgs/5ad9903c16126a7d949101687af0aa589b1d7d3d#z3_4_12

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`z3_4_12`	269ce7215bb5	2024-01-31	`out` /nix/store/p5x6c7bd3qzsncb4kbzkqlb9y4wxnkbv-z3-4.12.4 `lib` (not default) /nix/store/yjr64x9nmm9d9j9ydbvicgxiq8jnhrb1-z3-4.12.4-lib `python` (not default) /nix/store/4c7vb7yhwb5fq938llm4zb6ww2a7kghy-z3-4.12.4-python `dev` (not default) /nix/store/3k9h4hgldwcra0s1w5l76r0fdnliil9i-z3-4.12.4-dev
`aarch64-linux` Linux · arm64	`z3_4_12`	269ce7215bb5	2024-01-31	`out` /nix/store/xd645rrvzlrx42byq30nq1qjssbpsdi9-z3-4.12.4 `python` (not default) /nix/store/kjy33wc4ylj5500z8mgd7an6yv93zbqk-z3-4.12.4-python `dev` (not default) /nix/store/y7wsnidkm5mql55yza7yqbcahbmh09bk-z3-4.12.4-dev `lib` (not default) /nix/store/wi515gyidgnrvq3p56rpw0v8ck2nk3m0-z3-4.12.4-lib
`x86_64-darwin` macOS · x86-64	`z3_4_12`	269ce7215bb5	2024-01-31	`out` /nix/store/8cni3bv7xfsplsc9gppwjgd6p0cs9a18-z3-4.12.4 `python` (not default) /nix/store/s7cyblz5qxf7lknlf791kgziwy4c22kn-z3-4.12.4-python `dev` (not default) /nix/store/llynk543ijy4xqmbcj10wlvl4h83b05f-z3-4.12.4-dev `lib` (not default) /nix/store/x590f75mswjyqgn83cnxy9ln2nylg2r8-z3-4.12.4-lib
`x86_64-linux` Linux · x86-64	`z3_4_12`	5ad9903c1612	2024-01-31	`out` /nix/store/19m44cx3q963bzcymjhyhyv19p01hhqw-z3-4.12.4 `python` (not default) /nix/store/9nq9cf19fb9hnzyzng54gxbi2sw693a5-z3-4.12.4-python `dev` (not default) /nix/store/f2m9lls4cnqh07s1flbq56hbhbx8zbvw-z3-4.12.4-dev `lib` (not default) /nix/store/7hpiiv6y8wk4sx94mbvrkg5174zky2kc-z3-4.12.4-lib