nixsearch / pkg / z3_4_14

z3_4_14

High-performance theorem prover and SMT solver

MIT github.com z3_4_14 1 release newest changed 16 months ago

version4.14.1 attributez3_4_14 rev

aarch64-darwin 8c441601c43232976179eac52dde704c8bdf81ed 2025-05-21

aarch64-linux 2f9173bde1d3fbf1ad26ff6d52f952f9e9da52ea 2025-05-20

x86_64-darwin a16efe5d2fc7455d7328a01f4692bfec152965b3 2025-05-22

x86_64-linux a16efe5d2fc7455d7328a01f4692bfec152965b3 2025-05-22

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

$ devbox add z3_4_14@4.14.1

$ nix shell github:NixOS/nixpkgs/8c441601c43232976179eac52dde704c8bdf81ed#z3_4_14  # aarch64-darwin

$ nix shell github:NixOS/nixpkgs/2f9173bde1d3fbf1ad26ff6d52f952f9e9da52ea#z3_4_14  # aarch64-linux

$ nix shell github:NixOS/nixpkgs/a16efe5d2fc7455d7328a01f4692bfec152965b3#z3_4_14  # x86_64-darwin

$ nix shell github:NixOS/nixpkgs/a16efe5d2fc7455d7328a01f4692bfec152965b3#z3_4_14  # x86_64-linux

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

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date	Outputs
4.14.1resolved	✓	✓	✓	✓	`z3_4_14`	varies	2025-05-22	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.