nixsearch / pkg / z3_4_11

z3_4_11

High-performance theorem prover and SMT solver

MIT github.com z3_4_11 2 releases newest changed 17 months ago

version4.11.2 attributez3_4_11 rev

aarch64-darwin 507b63021ada5fee621b6ca371c4fca9ca46f52c 2025-04-23

aarch64-linux 507b63021ada5fee621b6ca371c4fca9ca46f52c 2025-04-23

x86_64-darwin ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c 2025-04-17

x86_64-linux ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c 2025-04-17

systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux

$ devbox add z3_4_11@4.11.2

$ nix shell github:NixOS/nixpkgs/507b63021ada5fee621b6ca371c4fca9ca46f52c#z3_4_11  # aarch64-darwin

$ nix shell github:NixOS/nixpkgs/507b63021ada5fee621b6ca371c4fca9ca46f52c#z3_4_11  # aarch64-linux

$ nix shell github:NixOS/nixpkgs/ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c#z3_4_11  # x86_64-darwin

$ nix shell github:NixOS/nixpkgs/ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c#z3_4_11  # x86_64-linux

JSON: /v2/resolve?name=z3_4_11&version=latest

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date	Outputs
4.11.2resolved	✓	✓	✓	✓	`z3_4_11`	varies	2025-04-23	out, dev, lib, python
4.11.0	✓	✓	✓	✓	`z3_4_11`	varies	2023-06-25	out, dev, lib, python

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.