nixsearch / pkg / python310Packages.z3-solver / 4.8.17

python310Packages.z3-solver 4.8.17

A high-performance theorem prover and SMT solver

Linux and macOS last changed 2024-01-09 outputs: out, python, dev, lib

Pin this version

$ devbox add python310Packages.z3-solver@4.8.17

systemsaarch64-darwin commite1fa12d4f6c6fe19ccb59cac54b5b3f25e160870

$ nix shell github:NixOS/nixpkgs/e1fa12d4f6c6fe19ccb59cac54b5b3f25e160870#python310Packages.z3-solver

systemsaarch64-linux commitdd8e82f3b4017b8faa52c2b1897a38d53c3c26cb

$ nix shell github:NixOS/nixpkgs/dd8e82f3b4017b8faa52c2b1897a38d53c3c26cb#python310Packages.z3-solver

systemsx86_64-darwin commiteabe8d3eface69f5bb16c18f8662a702f50c20d5

$ nix shell github:NixOS/nixpkgs/eabe8d3eface69f5bb16c18f8662a702f50c20d5#python310Packages.z3-solver

systemsx86_64-linux commitd44d59d2b5bd694cd9d996fd8c51d03e3e9ba7f7

$ nix shell github:NixOS/nixpkgs/d44d59d2b5bd694cd9d996fd8c51d03e3e9ba7f7#python310Packages.z3-solver

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python310Packages.z3-solver`	e1fa12d4f6c6	2023-12-25	`python` /nix/store/2znk5s4bgfhmbq3n2l51p8bz7c8im08g-z3-solver-4.8.17-python `out` /nix/store/233rcw10a9x2xm9iszsil4rrrkncgqy1-z3-solver-4.8.17 `dev` (not default) /nix/store/3ihh892b0sx3rmd5kx0mwsmxwcl53df3-z3-solver-4.8.17-dev `lib` (not default) /nix/store/6b5grqcg6mqj9ykavbyvvgmv7am05psd-z3-solver-4.8.17-lib
`aarch64-linux` Linux · arm64	`python310Packages.z3-solver`	dd8e82f3b401	2023-12-18	`python` /nix/store/pq1dmyzdny67jibql9dw1f1z4wlz3jrh-z3-solver-4.8.17-python `out` /nix/store/b7b30wfgmwbzla7gk71gfsx7fxd580p2-z3-solver-4.8.17 `dev` (not default) /nix/store/h5m7kqcjzia9k9m3sr0fayhcpqhsn3jq-z3-solver-4.8.17-dev `lib` (not default) /nix/store/ni88f83ry27w0v4ljx441ad03zii71jf-z3-solver-4.8.17-lib
`x86_64-darwin` macOS · x86-64	`python310Packages.z3-solver`	eabe8d3eface	2024-01-09	`python` /nix/store/1m3wdg51jcp90c0nalj3v8w7rwkds606-z3-solver-4.8.17-python `out` /nix/store/s49g89bqsy8v9ja8p0m07kfgrpprzgxl-z3-solver-4.8.17 `dev` (not default) /nix/store/a44lwmwb8kmxyi0c4nd43bmppdwnfmaw-z3-solver-4.8.17-dev `lib` (not default) /nix/store/il6qrdgcxmbksi8njq5mgndl4bl1vhkd-z3-solver-4.8.17-lib
`x86_64-linux` Linux · x86-64	`python310Packages.z3-solver`	d44d59d2b5bd	2023-12-31	`python` /nix/store/04kn1cvgn2z9b26lqb1vd8wk340kl0mn-z3-solver-4.8.17-python `out` /nix/store/bch9ha5lpn88dwlf8ndjdvrdnqn6kv8s-z3-solver-4.8.17 `dev` (not default) /nix/store/im9n2fvlc90x8323gm03v5702g6ji09n-z3-solver-4.8.17-dev `lib` (not default) /nix/store/q76r5si0hzki87isalw1r2lrwc82fjmq-z3-solver-4.8.17-lib

all 1 releases

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