nixsearch / pkg / python311Packages.z3-solver / 4.8.17

python311Packages.z3-solver 4.8.17

High-performance theorem prover and SMT solver

Linux and macOS last changed 2024-12-22 outputs: out, python, dev, lib

Pin this version

$ devbox add python311Packages.z3-solver@4.8.17

systemsaarch64-darwin, x86_64-linux commit71a6392e367b08525ee710a93af2e80083b5b3e2

$ nix shell github:NixOS/nixpkgs/71a6392e367b08525ee710a93af2e80083b5b3e2#python311Packages.z3-solver

systemsaarch64-linux commit93ff48c9be84a76319dac293733df09bbbe3f25c

$ nix shell github:NixOS/nixpkgs/93ff48c9be84a76319dac293733df09bbbe3f25c#python311Packages.z3-solver

systemsx86_64-darwin commit7e4a1594489d41bf8e16046b28e14a0e264c9baa

$ nix shell github:NixOS/nixpkgs/7e4a1594489d41bf8e16046b28e14a0e264c9baa#python311Packages.z3-solver

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python311Packages.z3-solver`	71a6392e367b	2024-12-13	`python` /nix/store/mgcxn4y2g6l52d01sr3wb7qr4b57dzz0-z3-solver-4.8.17-python `out` /nix/store/kwwsa8005w0z860iixsk84s9w9f1d6nz-z3-solver-4.8.17 `dev` (not default) /nix/store/5hd46v1spys6zkpd9drlvsjymjw1mqr4-z3-solver-4.8.17-dev `lib` (not default) /nix/store/bmdkgxkwl2m0r2xcy9qk12mqgix1r65v-z3-solver-4.8.17-lib
`aarch64-linux` Linux · arm64	`python311Packages.z3-solver`	93ff48c9be84	2024-12-22	`python` /nix/store/3i35cs4l24r0s3wz30l7yf8bg8srzlsx-z3-solver-4.8.17-python `out` /nix/store/ivmj6v2cl7m20g94swjrlz8yfyxh7576-z3-solver-4.8.17 `lib` (not default) /nix/store/0v7rvhk8s31dsm13lkbqcghlh5pg6383-z3-solver-4.8.17-lib `dev` (not default) /nix/store/b23xl1z8hsaw6rl1pdvfcvrih43f6dsc-z3-solver-4.8.17-dev
`x86_64-darwin` macOS · x86-64	`python311Packages.z3-solver`	7e4a1594489d	2024-12-21	`python` /nix/store/gzs826vp8kcjkjic1bjx0sx7y34ny7hd-z3-solver-4.8.17-python `out` /nix/store/6kc68rw2z1hnj3vj114mfzx5gq8n2van-z3-solver-4.8.17 `dev` (not default) /nix/store/70d2wv2h97i3av64brwinc194bwsfl4d-z3-solver-4.8.17-dev `lib` (not default) /nix/store/n0np2k0m4f8xa2a78yg7vsk89mwy668k-z3-solver-4.8.17-lib
`x86_64-linux` Linux · x86-64	`python311Packages.z3-solver`	71a6392e367b	2024-12-13	`python` /nix/store/55p4awmmqrkziij1lv69xg77liznlb46-z3-solver-4.8.17-python `out` /nix/store/mj6ph78jg2f2kbb1ynxssjdq1y2isr1d-z3-solver-4.8.17 `dev` (not default) /nix/store/7l6l422rivfl78j87ihp2i06kd9rci65-z3-solver-4.8.17-dev `lib` (not default) /nix/store/bh017r12qc2jwqcc4w061y0m5lnqv8m3-z3-solver-4.8.17-lib

all 1 releases

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