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

python312Packages.z3-solver 4.15.2

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.2
systemsaarch64-darwin, x86_64-linux commit372d9eeeafa5b15913201e2b92e8e539ac7c64d1 
$ nix shell github:NixOS/nixpkgs/372d9eeeafa5b15913201e2b92e8e539ac7c64d1#python312Packages.z3-solver
systemsaarch64-linux commit641d909c4a7538f1539da9240dedb1755c907e40 
$ nix shell github:NixOS/nixpkgs/641d909c4a7538f1539da9240dedb1755c907e40#python312Packages.z3-solver
systemsx86_64-darwin commitf86999f8bfef9ff57f7f03c1c5deedc2784fc666 
$ nix shell github:NixOS/nixpkgs/f86999f8bfef9ff57f7f03c1c5deedc2784fc666#python312Packages.z3-solver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 python312Packages.z3-solver 372d9eeeafa5
python
/nix/store/vyhrq6x3x99mqbi46rzrf4w3lbl0i05p-z3-4.15.2-python
out
/nix/store/qa5nkm3c684q6k0ia1y88hhmwcdwqvq2-z3-4.15.2
lib (not default)
/nix/store/b756p4xwii8bv9x5k49c9dm0wgssz83i-z3-4.15.2-lib
dev (not default)
/nix/store/qlx2rd5b0l42zmj5qylap0dm1gabz0yj-z3-4.15.2-dev
aarch64-linux
Linux · arm64		 python312Packages.z3-solver 641d909c4a75
python
/nix/store/njza0qldx9winbvh81racb83h3j9imip-z3-4.15.2-python
out
/nix/store/dn831hlglw0j0v6jqrdynjqam0n0z6k8-z3-4.15.2
dev (not default)
/nix/store/vwiwy8bcvm5bsxwn7fmwgqyqkdys0pxn-z3-4.15.2-dev
lib (not default)
/nix/store/fdkpiapfx443090bxld0asl78bx667cw-z3-4.15.2-lib
x86_64-darwin
macOS · x86-64		 python312Packages.z3-solver f86999f8bfef
python
/nix/store/kyzvvm6a0ciw96bb43zgq2gxy3cxx1hy-z3-4.15.2-python
out
/nix/store/aygfak9id7sffjjnliydcdrd3kk5921l-z3-4.15.2
dev (not default)
/nix/store/h9sh8by7czyhvsxsli3gh66qfdnrmar5-z3-4.15.2-dev
lib (not default)
/nix/store/6fng4aj3l5p4laaai57yk5wzhgswzjl1-z3-4.15.2-lib
x86_64-linux
Linux · x86-64		 python312Packages.z3-solver 372d9eeeafa5
python
/nix/store/02mq2aqx4k6glln30d5d2w3sv8v4xvya-z3-4.15.2-python
out
/nix/store/4j20p13xj81kccns6aiyf93qk0i2b86d-z3-4.15.2
dev (not default)
/nix/store/8ff3qaafsrpq1agr8y4yirxp70hsdapd-z3-4.15.2-dev
lib (not default)
/nix/store/95pmc86wcgqpmkwik504pqg9jk1cz4qd-z3-4.15.2-lib
← newer: 4.15.3 all 8 releases older: 4.15.1 →

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