nixsearch
nixsearch / pkg / python313Packages.z3-solver / 4.15.8

python313Packages.z3-solver 4.15.8

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

Pin this version

$ devbox add python313Packages.z3-solver@4.15.8
systemsaarch64-darwin commit456e8a9468b9d46bd8c9524425026c00745bc4d2 
$ nix shell github:NixOS/nixpkgs/456e8a9468b9d46bd8c9524425026c00745bc4d2#python313Packages.z3-solver
systemsaarch64-linux commitff048610a1b698607a66f4671821716c2272dc9f 
$ nix shell github:NixOS/nixpkgs/ff048610a1b698607a66f4671821716c2272dc9f#python313Packages.z3-solver
systemsx86_64-darwin commit5e11f7acce6c3469bef9df154d78534fa7ae8b6c 
$ nix shell github:NixOS/nixpkgs/5e11f7acce6c3469bef9df154d78534fa7ae8b6c#python313Packages.z3-solver
systemsx86_64-linux commit9d29d5f667d7467f98efc31881e824fa586c927e 
$ nix shell github:NixOS/nixpkgs/9d29d5f667d7467f98efc31881e824fa586c927e#python313Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.z3-solver 456e8a9468b9
python
/nix/store/56ax8fg727fpd272m5wqkyhzda6zsnib-z3-4.15.8-python
out
/nix/store/ynjn8r584n3nn6pi52y183xybry4j5v6-z3-4.15.8
dev (not default)
/nix/store/473ijzdiwfhfyawc4wrm6lgsyzilcclr-z3-4.15.8-dev
lib (not default)
/nix/store/ydyidq2qy74mbj1xb3gc0cip33acx1bv-z3-4.15.8-lib
aarch64-linux
Linux · arm64		 python313Packages.z3-solver ff048610a1b6
python
/nix/store/qq65bxycnhkkiwgpgpf0az9n6jsx1qcx-z3-4.15.8-python
out
/nix/store/zasrzhbv2vfwlmfaclzlid4vinp3dkan-z3-4.15.8
dev (not default)
/nix/store/xr4cf8ixriwdabd6jsyvd5jh8k1vli70-z3-4.15.8-dev
lib (not default)
/nix/store/gwwpcps2q5gf0m6yb714xkbss27r4im2-z3-4.15.8-lib
x86_64-darwin
macOS · x86-64		 python313Packages.z3-solver 5e11f7acce6c
python
/nix/store/2yn19b15q5yqz7z37z5w2dshap1q7c43-z3-4.15.8-python
out
/nix/store/ra1sgvgfpxvpyisnn5mr7iksg8svxas6-z3-4.15.8
dev (not default)
/nix/store/i663jp7ps1v7qh405cq9yipzcwm8yi61-z3-4.15.8-dev
lib (not default)
/nix/store/7swal0ningizn2fz205sa3sy5hdcl39q-z3-4.15.8-lib
x86_64-linux
Linux · x86-64		 python313Packages.z3-solver 9d29d5f667d7
python
/nix/store/mcvzckp2kb2sgxh2zlsyrxdxbmgkg69w-z3-4.15.8-python
out
/nix/store/fyvrsfnsqsbalrfhmq3sfjnqc316mlmw-z3-4.15.8
dev (not default)
/nix/store/nr4h15yzp0ivkahmdk11bhpmdqwyrfw1-z3-4.15.8-dev
lib (not default)
/nix/store/izlan4g6md03s0jfpj41fjdg81lff162-z3-4.15.8-lib
← newer: 4.16.0 all 11 releases older: 4.15.7 →

JSON: /v2/pkg?name=python313Packages.z3-solver · /v2/resolve?name=python313Packages.z3-solver&version=4.15.8