nixsearch
nixsearch / pkg / z3_4_8 / 4.8.15

z3_4_8 4.8.15

High-performance theorem prover and SMT solver
Linux and macOS last changed

Pin this version

$ devbox add z3_4_8@4.8.15
systemsaarch64-darwin, x86_64-darwin, x86_64-linux commit7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11 
$ nix shell github:NixOS/nixpkgs/7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11#z3_4_8

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 z3_4_8 7d0ed7f2e5ae
x86_64-darwin
macOS · x86-64		 z3_4_8 7d0ed7f2e5ae
x86_64-linux
Linux · x86-64		 z3_4_8 7d0ed7f2e5ae
← newer: 4.8.17 all 2 releases

JSON: /v2/pkg?name=z3_4_8 · /v2/resolve?name=z3_4_8&version=4.8.15