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

python314Packages.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 python314Packages.z3-solver@4.15.4
systemsaarch64-darwin, aarch64-linux commitae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe 
$ nix shell github:NixOS/nixpkgs/ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe#python314Packages.z3-solver
systemsx86_64-darwin commit8482c7ded03bae7550f3d69884f1e611e3bd19e8 
$ nix shell github:NixOS/nixpkgs/8482c7ded03bae7550f3d69884f1e611e3bd19e8#python314Packages.z3-solver
systemsx86_64-linux commit2343bbb58f99267223bc2aac4fc9ea301a155a16 
$ nix shell github:NixOS/nixpkgs/2343bbb58f99267223bc2aac4fc9ea301a155a16#python314Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python314Packages.z3-solver ae67888ff7ef
python
/nix/store/4nkaibcajg83sz6njxbhhj59dgbbvb8m-z3-4.15.4-python
out
/nix/store/iprz2icm0f0qb8mppd48iv80j51vmr4h-z3-4.15.4
dev (not default)
/nix/store/v7fl8vysyamx528qkanrmqk49fni2mm1-z3-4.15.4-dev
lib (not default)
/nix/store/8zg8hswm240sfq6zp7bzs7qqv4wv6zp1-z3-4.15.4-lib
aarch64-linux
Linux · arm64		 python314Packages.z3-solver ae67888ff7ef
python
/nix/store/563nzamc92cga5j33viqkmaf6gcssrbg-z3-4.15.4-python
out
/nix/store/01mxz9kc0nl7frb2rsq8h9hyv8crv1nw-z3-4.15.4
dev (not default)
/nix/store/j6n108l5wsh69cwxp8c1lrm64xpi3gfp-z3-4.15.4-dev
lib (not default)
/nix/store/259lsli0f8vrilkn57qf4ih63vpyk3kp-z3-4.15.4-lib
x86_64-darwin
macOS · x86-64		 python314Packages.z3-solver 8482c7ded03b
python
/nix/store/m6pib7s58vav4nv7fcwf403d1lq1hpky-z3-4.15.4-python
out
/nix/store/85m0aykfcv19jnl7v874x0hz33kznsa5-z3-4.15.4
dev (not default)
/nix/store/9hll925v5qpk6dh5vzb2gq48m9v0pn50-z3-4.15.4-dev
lib (not default)
/nix/store/wzmm86j5c0zllp5wkj6lypqv1czgd927-z3-4.15.4-lib
x86_64-linux
Linux · x86-64		 python314Packages.z3-solver 2343bbb58f99
python
/nix/store/cydikcjws35nwynaghphdgsk0ndwicc9-z3-4.15.4-python
out
/nix/store/sdi7a7fgpl2m9k9x8kawi4q3k7v99blz-z3-4.15.4
lib (not default)
/nix/store/idk8p1s18bd6fx373sablha78696yx3p-z3-4.15.4-lib
dev (not default)
/nix/store/agch67pqs2f5qc5h2lhfqz6langrf8dw-z3-4.15.4-dev
← newer: 4.15.7 all 4 releases

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