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

python313Packages.z3-solver 4.15.0

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.0
systemsaarch64-darwin commit6afe187897bef7933475e6af374c893f4c84a293 
$ nix shell github:NixOS/nixpkgs/6afe187897bef7933475e6af374c893f4c84a293#python313Packages.z3-solver
systemsaarch64-linux commitf72be405a10668b8b00937b452f2145244103ebc 
$ nix shell github:NixOS/nixpkgs/f72be405a10668b8b00937b452f2145244103ebc#python313Packages.z3-solver
systemsx86_64-darwin commit6e7721e37bf00fa7ea44ac3cfc9d2411284ec3ef 
$ nix shell github:NixOS/nixpkgs/6e7721e37bf00fa7ea44ac3cfc9d2411284ec3ef#python313Packages.z3-solver
systemsx86_64-linux commit41da1e3ea8e23e094e5e3eeb1e6b830468a7399e 
$ nix shell github:NixOS/nixpkgs/41da1e3ea8e23e094e5e3eeb1e6b830468a7399e#python313Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.z3-solver 6afe187897be
python
/nix/store/rfghdzz9ypyswwm8sbkrkn6rmh0yaivx-z3-4.15.0-python
out
/nix/store/6mh7s4pkm1hkjmv2x3lql4cvvy4dv63q-z3-4.15.0
dev (not default)
/nix/store/gq311i806hc6l94vyv274axsy5g3djf0-z3-4.15.0-dev
lib (not default)
/nix/store/3wss6p9vd30837q6scsj5lj979mgwgsv-z3-4.15.0-lib
aarch64-linux
Linux · arm64		 python313Packages.z3-solver f72be405a106
python
/nix/store/32aswd6h207xj2ipj9h6wwjfqvkp765p-z3-4.15.0-python
out
/nix/store/7p2a2x2b7ph9ziax93kknxdr5kr6czrl-z3-4.15.0
dev (not default)
/nix/store/lnzxa43pwj6z0ph63ihba0awsqjsaa86-z3-4.15.0-dev
lib (not default)
/nix/store/2kmrw3483q5qidlmx68sws7fjfn8kilv-z3-4.15.0-lib
x86_64-darwin
macOS · x86-64		 python313Packages.z3-solver 6e7721e37bf0
python
/nix/store/v6ngbvgxav0g4mn7mm6yqav09182s3fg-z3-4.15.0-python
out
/nix/store/r6r1387qgm4gzb9ml5d9va3s5wnq6p6s-z3-4.15.0
dev (not default)
/nix/store/j61s47gnkfjayxxywqyy1byh2hhz4sv0-z3-4.15.0-dev
lib (not default)
/nix/store/wfwi7zfd9c6f34k8fll5gyr1f2l86h83-z3-4.15.0-lib
x86_64-linux
Linux · x86-64		 python313Packages.z3-solver 41da1e3ea8e2
python
/nix/store/7yyxzrwr9v802b1n02if745i3xsxa2ka-z3-4.15.0-python
out
/nix/store/hbl8zkp7vxpfqlsjcwb02505zpdjb666-z3-4.15.0
lib (not default)
/nix/store/h4hdryljhlmax3h6dc888jfkfhb3y30g-z3-4.15.0-lib
dev (not default)
/nix/store/pc0b8yqj0q6shx0gpmg387cigsi1pxdy-z3-4.15.0-dev
← newer: 4.15.1 all 11 releases older: 4.14.1 →

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