nixsearch
nixsearch / pkg / python312Packages.z3-solver / 4.15.1

python312Packages.z3-solver 4.15.1

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

Pin this version

$ devbox add python312Packages.z3-solver@4.15.1
systemsaarch64-darwin commit8131c0ea9df6293a247be743a387ff725e464db7 
$ nix shell github:NixOS/nixpkgs/8131c0ea9df6293a247be743a387ff725e464db7#python312Packages.z3-solver
systemsaarch64-linux commit7c688a0875df5a8c28a53fb55ae45e94eae0dddb 
$ nix shell github:NixOS/nixpkgs/7c688a0875df5a8c28a53fb55ae45e94eae0dddb#python312Packages.z3-solver
systemsx86_64-darwin commita421ac6595024edcfbb1ef950a3712b89161c359 
$ nix shell github:NixOS/nixpkgs/a421ac6595024edcfbb1ef950a3712b89161c359#python312Packages.z3-solver
systemsx86_64-linux commit6027c30c8e9810896b92429f0092f624f7b1aace 
$ nix shell github:NixOS/nixpkgs/6027c30c8e9810896b92429f0092f624f7b1aace#python312Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python312Packages.z3-solver 8131c0ea9df6
python
/nix/store/vfx0nmjnmq4id0kp5ch58dryvr9vqh7s-z3-4.15.1-python
out
/nix/store/6pw1s6710zgvvml722m0s4yz71hgfv6l-z3-4.15.1
dev (not default)
/nix/store/8q87izhn1p1x0q2icyymgh7h1pf0gi7l-z3-4.15.1-dev
lib (not default)
/nix/store/sywi619ndz07w8d3lcza1j1k1i36hihz-z3-4.15.1-lib
aarch64-linux
Linux · arm64		 python312Packages.z3-solver 7c688a0875df
python
/nix/store/ryci1dyi9g7cakhzk69gz9d92hy29bix-z3-4.15.1-python
out
/nix/store/k0vnqsy62sli2jck1zvj9sslfy465f5x-z3-4.15.1
dev (not default)
/nix/store/8j7lh5asr86v7ky3nlhx88fj5sx8ss5m-z3-4.15.1-dev
lib (not default)
/nix/store/sn88qgj48rnga189v464l3zzf6bxyvzc-z3-4.15.1-lib
x86_64-darwin
macOS · x86-64		 python312Packages.z3-solver a421ac659502
python
/nix/store/gvbxar5ygbb32bi8s7m12qd03ari5dpv-z3-4.15.1-python
out
/nix/store/l8i54qjal9cgxlq1csf4rhdlz60s4sq2-z3-4.15.1
dev (not default)
/nix/store/y7k2dd3lpv6y99ysiapymcjp5diira3g-z3-4.15.1-dev
lib (not default)
/nix/store/3k68lipd17nmkz974ki9kmrz98p6pnxi-z3-4.15.1-lib
x86_64-linux
Linux · x86-64		 python312Packages.z3-solver 6027c30c8e98
python
/nix/store/rfmf6wbi1drwr4ajcjxwd9b9lw6qqbx3-z3-4.15.1-python
out
/nix/store/f6a05v58i6hg7s5lb99xy7i7hf9mk72b-z3-4.15.1
lib (not default)
/nix/store/iyq12zqfzznlrlr6f6irvyhw70ilgmrd-z3-4.15.1-lib
dev (not default)
/nix/store/f4aagf2dy7q6g9b52fawxdi7fcy36zx4-z3-4.15.1-dev
← newer: 4.15.2 all 8 releases older: 4.15.0 →

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