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

python313Packages.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 python313Packages.z3-solver@4.15.4
systemsaarch64-darwin commitc05d2232d2feaa4c7a07f1168606917402868195 
$ nix shell github:NixOS/nixpkgs/c05d2232d2feaa4c7a07f1168606917402868195#python313Packages.z3-solver
systemsaarch64-linux, x86_64-darwin commit2343bbb58f99267223bc2aac4fc9ea301a155a16 
$ nix shell github:NixOS/nixpkgs/2343bbb58f99267223bc2aac4fc9ea301a155a16#python313Packages.z3-solver
systemsx86_64-linux commitae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe 
$ nix shell github:NixOS/nixpkgs/ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe#python313Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.z3-solver c05d2232d2fe
python
/nix/store/r7d7i0hccf41mj5w2vhl0j0mdg281hih-z3-4.15.4-python
out
/nix/store/ldhbqcmxxiha3pkjxvxg9bsr36lmj0zr-z3-4.15.4
dev (not default)
/nix/store/2c10jdbzwsqxk1lylfc1k9br8x4n57c3-z3-4.15.4-dev
lib (not default)
/nix/store/dssh3nvnrvdrw0k2jrk7i5axc1kwarvy-z3-4.15.4-lib
aarch64-linux
Linux · arm64		 python313Packages.z3-solver 2343bbb58f99
python
/nix/store/0j9qddijwh2v7minff1n8llx6nhnx2r2-z3-4.15.4-python
out
/nix/store/0hfrxxpqc10pqg7si16dysipywqsaj3j-z3-4.15.4
dev (not default)
/nix/store/qc9bhzjw3hpb0pn8yscv8hlziw90qmjg-z3-4.15.4-dev
lib (not default)
/nix/store/vcmwkqa8g69m8vmxzdpcqjsrcq0v1lpy-z3-4.15.4-lib
x86_64-darwin
macOS · x86-64		 python313Packages.z3-solver 2343bbb58f99
python
/nix/store/kfyn268cm365px2fi407ws7l4s3qw9w4-z3-4.15.4-python
out
/nix/store/bcy1z4mq3a4amv69hmagfq3cb0w3rvjf-z3-4.15.4
dev (not default)
/nix/store/4lrsmffb3yiv7hrdaavhc84x0v3jbd2g-z3-4.15.4-dev
lib (not default)
/nix/store/1a4bhk0ymj9pb8zd948jn0zjqil8drp5-z3-4.15.4-lib
x86_64-linux
Linux · x86-64		 python313Packages.z3-solver ae67888ff7ef
python
/nix/store/hd4r00sfqin8rj6rhh5ab20wl14hfxss-z3-4.15.4-python
out
/nix/store/2ahmfp6762zn0xv75yc5avlx936nd0gk-z3-4.15.4
dev (not default)
/nix/store/8hb93w1bab9svr3ryjli2g7v0qrx72vr-z3-4.15.4-dev
lib (not default)
/nix/store/w9xijwv674ij01nhlp9vxn54l8f38i9k-z3-4.15.4-lib
← newer: 4.15.7 all 11 releases older: 4.15.3 →

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