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

python313Packages.z3-solver 4.15.7

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.7
systemsaarch64-darwin commit7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe 
$ nix shell github:NixOS/nixpkgs/7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe#python313Packages.z3-solver
systemsaarch64-linux commit724cf38d99ba81fbb4a347081db93e2e3a9bc2ae 
$ nix shell github:NixOS/nixpkgs/724cf38d99ba81fbb4a347081db93e2e3a9bc2ae#python313Packages.z3-solver
systemsx86_64-darwin, x86_64-linux commitd1c15b7d5806069da59e819999d70e1cec0760bf 
$ nix shell github:NixOS/nixpkgs/d1c15b7d5806069da59e819999d70e1cec0760bf#python313Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python313Packages.z3-solver 7d2ae6d8b8b6
python
/nix/store/9njvv67a8np9qzn1klxd5lgz18iyndil-z3-4.15.7-python
out
/nix/store/dw3wlnybydkgw3yacqa3qmc31ha2ixhf-z3-4.15.7
dev (not default)
/nix/store/pzw4pxyy6llawr3dd96rl24bni9av23k-z3-4.15.7-dev
lib (not default)
/nix/store/qknpxiz7agc5l7kvl5859a0ikgjpry0a-z3-4.15.7-lib
aarch64-linux
Linux · arm64		 python313Packages.z3-solver 724cf38d99ba
python
/nix/store/nc6n2w3bc6qrs87j7v7b6kd480jcfwvp-z3-4.15.7-python
out
/nix/store/8r7lwxbz3lfgd71x8gzm8nfbzl26pa5n-z3-4.15.7
dev (not default)
/nix/store/77v8w1l706hwf10liid8mmfwnarvwjb7-z3-4.15.7-dev
lib (not default)
/nix/store/j37yngfg30b5brmipllc59v50ya05hl2-z3-4.15.7-lib
x86_64-darwin
macOS · x86-64		 python313Packages.z3-solver d1c15b7d5806
python
/nix/store/kh5c14hip26yg99j62rfw4d8nhk4sp05-z3-4.15.7-python
out
/nix/store/rgq4vqdqcynsc0q9a5inqnhjpcs3blfq-z3-4.15.7
dev (not default)
/nix/store/widk1cdcbyh7xw0zhqvr374a69gqdgpy-z3-4.15.7-dev
lib (not default)
/nix/store/w5ywv2bb4ml2lsr9ikgwk3vkrg6330x9-z3-4.15.7-lib
x86_64-linux
Linux · x86-64		 python313Packages.z3-solver d1c15b7d5806
python
/nix/store/x7vdl7baj07w0nry08q0qfhqr0wsdr01-z3-4.15.7-python
out
/nix/store/8gk1fj1gpsn4r9dlvvr52r8z711lrq5j-z3-4.15.7
dev (not default)
/nix/store/7bayk77cyzaa14yr97kay4v2k48s6mgh-z3-4.15.7-dev
lib (not default)
/nix/store/nqxm0cglnwkx0kb37hsyw2rdnr01g7f4-z3-4.15.7-lib
← newer: 4.15.8 all 11 releases older: 4.15.4 →

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