nixsearch / pkg / python312Packages.z3-solver / 4.8.17

python312Packages.z3-solver 4.8.17

High-performance theorem prover and SMT solver

Linux and macOS last changed 2025-01-16 outputs: out, python, dev, lib

Pin this version

$ devbox add python312Packages.z3-solver@4.8.17

systemsaarch64-darwin, aarch64-linux commitae06b9c2d83cb5c8b12d7d0e32692e93d1379713

$ nix shell github:NixOS/nixpkgs/ae06b9c2d83cb5c8b12d7d0e32692e93d1379713#python312Packages.z3-solver

systemsx86_64-darwin commitef56e777fedaa4da8c66a150081523c5de1e0171

$ nix shell github:NixOS/nixpkgs/ef56e777fedaa4da8c66a150081523c5de1e0171#python312Packages.z3-solver

systemsx86_64-linux commit590cc22eefd616c8f90608870d28afe25d37e8b8

$ nix shell github:NixOS/nixpkgs/590cc22eefd616c8f90608870d28afe25d37e8b8#python312Packages.z3-solver

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python312Packages.z3-solver`	ae06b9c2d83c	2025-01-16	`python` /nix/store/lsxlpn16n23qn0k42hcmz418qan74mr1-z3-solver-4.8.17-python `out` /nix/store/0nn4yav67pc6dir9dsz5gi87fbqhqpxq-z3-solver-4.8.17 `lib` (not default) /nix/store/kv80815qdjv1w0raa6lxhmz3whh00hb4-z3-solver-4.8.17-lib `dev` (not default) /nix/store/w2dj8228mfvb40ly1mrpss68bhcy7y99-z3-solver-4.8.17-dev
`aarch64-linux` Linux · arm64	`python312Packages.z3-solver`	ae06b9c2d83c	2025-01-16	`python` /nix/store/hiwg8ywp5n5ywgnf2sap33klm2nji7zy-z3-solver-4.8.17-python `out` /nix/store/ii03qcz2d6g49v0576h9864vs46vz31v-z3-solver-4.8.17 `lib` (not default) /nix/store/7l0fl8wy0hc0iw033jnjj23awqrqf7x7-z3-solver-4.8.17-lib `dev` (not default) /nix/store/nb8p64psf4k737518zv6hc1k5pn3rsx9-z3-solver-4.8.17-dev
`x86_64-darwin` macOS · x86-64	`python312Packages.z3-solver`	ef56e777feda	2025-01-13	`python` /nix/store/wpzcx52iwivyi3ly0spdw2pw8jsh42zi-z3-solver-4.8.17-python `out` /nix/store/ksbjdbq688169fcg64h7mknf8mwy5bg0-z3-solver-4.8.17 `dev` (not default) /nix/store/kikciy3kwzqa6hskz735pqxvixv4ibva-z3-solver-4.8.17-dev `lib` (not default) /nix/store/5dr7g1wrvawnifhmc9pcrnvliliby10c-z3-solver-4.8.17-lib
`x86_64-linux` Linux · x86-64	`python312Packages.z3-solver`	590cc22eefd6	2025-01-11	`python` /nix/store/b0rq9qys3in9r0cgzk8h6k7174r6b2ab-z3-solver-4.8.17-python `out` /nix/store/h5iq8v5jqx1gwhf0pinprm1pih5yssvc-z3-solver-4.8.17 `dev` (not default) /nix/store/wgn2kaawkk6a8rbqpyacvf3d6lxzcl84-z3-solver-4.8.17-dev `lib` (not default) /nix/store/7j1ax4wrmxkwjgm0gasnb93w7c26dhjw-z3-solver-4.8.17-lib

← newer: 4.13.4 all 8 releases

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