nixsearch
nixsearch / pkg / z3_4_4_0 / 4.4.0

z3_4_4_0 4.4.0

A high-performance theorem prover and SMT solver
Linux and macOS (Intel only) last changed

Pin this version

$ devbox add z3_4_4_0@4.4.0
systemsx86_64-darwin, x86_64-linux commitf1ffcf798e93b169321106a4aef79526a2b4bd0a 
$ nix shell github:NixOS/nixpkgs/f1ffcf798e93b169321106a4aef79526a2b4bd0a#z3_4_4_0

Per system

SystemAttributeCommitDateOutputsFlags
x86_64-darwin
macOS · x86-64		 z3_4_4_0 f1ffcf798e93
out
/nix/store/siwg79h2zm3prh6i7hq9m2ifpgc71ps8-z3-4.4.0
x86_64-linux
Linux · x86-64		 z3_4_4_0 f1ffcf798e93
out
/nix/store/1c4b3ragvjm1p6hbf4a299jj7az7az1y-z3-4.4.0
all 1 releases

JSON: /v2/pkg?name=z3_4_4_0 · /v2/resolve?name=z3_4_4_0&version=4.4.0