nixsearch
nixsearch / pkg / z3_4_8_5 / 4.8.5

z3_4_8_5 4.8.5

High-performance theorem prover and SMT solver
Linux and macOS last changed outputs: out, dev, lib, python

Pin this version

$ devbox add z3_4_8_5@4.8.5
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit507b63021ada5fee621b6ca371c4fca9ca46f52c 
$ nix shell github:NixOS/nixpkgs/507b63021ada5fee621b6ca371c4fca9ca46f52c#z3_4_8_5

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 z3_4_8_5 507b63021ada
out
/nix/store/5871z1rby0z7vlkr1ms11ysgw6dp2jwl-z3-4.8.5
python (not default)
/nix/store/nfx7nna5g4r456367nz8g971bb0062pr-z3-4.8.5-python
dev (not default)
/nix/store/cgrfizisj2zz7m1lz8vwc2wby9abn8dr-z3-4.8.5-dev
lib (not default)
/nix/store/apndkngj5a8vvppp9bvc56m8ynk38zpd-z3-4.8.5-lib
aarch64-linux
Linux · arm64		 z3_4_8_5 507b63021ada
out
/nix/store/5yvxqj11f8k7w2k1zng80va4vr8x0m5n-z3-4.8.5
dev (not default)
/nix/store/wfgh829kncxs54pqviccs6j0akgs4q3h-z3-4.8.5-dev
lib (not default)
/nix/store/b7s19vclr4x81gpn70gsnh0dir4wizsm-z3-4.8.5-lib
python (not default)
/nix/store/ylb5ryh7c26bi0hvj0vr741jzck1rky5-z3-4.8.5-python
x86_64-darwin
macOS · x86-64		 z3_4_8_5 507b63021ada
out
/nix/store/9gwhahil4f2jzs11m8c9kgdpf5yv7k27-z3-4.8.5
lib (not default)
/nix/store/kxs29ky1c2sjv93nvmavcdjg37lvqhjh-z3-4.8.5-lib
python (not default)
/nix/store/x90c7lbdx32dfbsm2f88cz87lmzq0nwf-z3-4.8.5-python
dev (not default)
/nix/store/z2ls4ci2alvyiijl1crrlz1p7a97qlwk-z3-4.8.5-dev
x86_64-linux
Linux · x86-64		 z3_4_8_5 507b63021ada
out
/nix/store/sar0bynhb5kxrib72aw26nzy0d0v2aqk-z3-4.8.5
python (not default)
/nix/store/jd0l8f5c68mdi9la3744b2hjkcgva0nh-z3-4.8.5-python
dev (not default)
/nix/store/0ganngks58xg5c8wmkbcb8g3wisa1das-z3-4.8.5-dev
lib (not default)
/nix/store/818m2g4amwg8x4fcr11ggmls8ihw3kqc-z3-4.8.5-lib
all 1 releases

JSON: /v2/pkg?name=z3_4_8_5 · /v2/resolve?name=z3_4_8_5&version=4.8.5