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

python312Packages.z3-solver 4.15.4

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.4
systemsaarch64-darwin, x86_64-linux commit0744ef1b047f07d31d9962d757ffe38ec14a4d41 
$ nix shell github:NixOS/nixpkgs/0744ef1b047f07d31d9962d757ffe38ec14a4d41#python312Packages.z3-solver
systemsaarch64-linux commit3edc4a30ed3903fdf6f90c837f961fa6b49582d1 
$ nix shell github:NixOS/nixpkgs/3edc4a30ed3903fdf6f90c837f961fa6b49582d1#python312Packages.z3-solver
systemsx86_64-darwin commit5d6bdbddb4695a62f0d00a3620b37a15275a5093 
$ nix shell github:NixOS/nixpkgs/5d6bdbddb4695a62f0d00a3620b37a15275a5093#python312Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python312Packages.z3-solver 0744ef1b047f
python
/nix/store/jwqbkr6ivp2cfd8bp5f3wj0agp9rvgc9-z3-4.15.4-python
out
/nix/store/1w0qwai2mnfl06qw4lb6az5kamdsfvqq-z3-4.15.4
dev (not default)
/nix/store/7wgi9a462klsbszhqhyldpc4w47sa815-z3-4.15.4-dev
lib (not default)
/nix/store/drc05j6000a1hmlg21a5gyy18c4c58rn-z3-4.15.4-lib
aarch64-linux
Linux · arm64		 python312Packages.z3-solver 3edc4a30ed39
python
/nix/store/0jw7wrfjh51s107qjbzmgf4rl2d4v0lk-z3-4.15.4-python
out
/nix/store/sapqgfsdqa2v3xvapnk948ajs5d62rm1-z3-4.15.4
dev (not default)
/nix/store/bn6l9nnbx08zdhhz1g05dzxshc5mb9lq-z3-4.15.4-dev
lib (not default)
/nix/store/lq10x6iz5iwic1y1nlbph9m24q3d3g1i-z3-4.15.4-lib
x86_64-darwin
macOS · x86-64		 python312Packages.z3-solver 5d6bdbddb469
python
/nix/store/8ylk1d48yf1wz9mbb2a6x6575grjdl9i-z3-4.15.4-python
out
/nix/store/xxyvqlgsias0xf3xyc91152v7n3i9flx-z3-4.15.4
dev (not default)
/nix/store/1r87vbr42q5z0v4d70s20ccvijfkvfdd-z3-4.15.4-dev
lib (not default)
/nix/store/89zq4zy8kp4dli255chqljxs86ng9aqg-z3-4.15.4-lib
x86_64-linux
Linux · x86-64		 python312Packages.z3-solver 0744ef1b047f
python
/nix/store/vw2gjam2vf14s05r5g2gka5prpysnd2g-z3-4.15.4-python
out
/nix/store/0ddpi9pg7k8q65j5fa260sjmm8vglrzw-z3-4.15.4
lib (not default)
/nix/store/w0spxgwqzmv9q9i4pyqw9ck2qv2crs5m-z3-4.15.4-lib
dev (not default)
/nix/store/761b40pia5jn40lwzsp5a18fhhk0jdda-z3-4.15.4-dev
all 8 releases older: 4.15.3 →

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