nixsearch / pkg / python313Packages.z3-solver / 4.13.4

python313Packages.z3-solver 4.13.4

High-performance theorem prover and SMT solver

Linux and macOS last changed 2025-04-23 outputs: out, python, dev, lib

Pin this version

$ devbox add python313Packages.z3-solver@4.13.4

systemsaarch64-darwin commit507b63021ada5fee621b6ca371c4fca9ca46f52c

$ nix shell github:NixOS/nixpkgs/507b63021ada5fee621b6ca371c4fca9ca46f52c#python313Packages.z3-solver

systemsaarch64-linux, x86_64-darwin, x86_64-linux commitebe4301cbd8f81c4f8d3244b3632338bbeb6d49c

$ nix shell github:NixOS/nixpkgs/ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c#python313Packages.z3-solver

Per system

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python313Packages.z3-solver`	507b63021ada	2025-04-23	`python` /nix/store/2fl5x1djxw29ba3vlkb4qky1q8ym7cqv-z3-solver-4.13.4-python `out` /nix/store/fv5r0jx1sx3pz2i9ad296fvrbrb2ps07-z3-solver-4.13.4 `dev` (not default) /nix/store/8fr2ncfg3v637x2k5wm6sxaq08n7zd6s-z3-solver-4.13.4-dev `lib` (not default) /nix/store/9w8aqrxnn9filhpdz3i3hfg0n189l5y5-z3-solver-4.13.4-lib
`aarch64-linux` Linux · arm64	`python313Packages.z3-solver`	ebe4301cbd8f	2025-04-17	`python` /nix/store/p5jsb5h8kimg53j8k64960fgnp9csgrk-z3-solver-4.13.4-python `out` /nix/store/9lck9zr6d68cl97qvwrkpc5p1f63kxmk-z3-solver-4.13.4 `dev` (not default) /nix/store/n3rvzjq5va2nqzly2x2yrf9jpjkg4y43-z3-solver-4.13.4-dev `lib` (not default) /nix/store/8i1gdr0bniqsih80g6gm4369v6xqs17a-z3-solver-4.13.4-lib
`x86_64-darwin` macOS · x86-64	`python313Packages.z3-solver`	ebe4301cbd8f	2025-04-17	`python` /nix/store/lgx0ikaw4s255dw4ifailjqpm6x0jip3-z3-solver-4.13.4-python `out` /nix/store/nikmv8i38kbfgqlbsnqfb4navl5n6fzq-z3-solver-4.13.4 `dev` (not default) /nix/store/b4yjnsmjcxdf6gh3233drr2fkzk95mqv-z3-solver-4.13.4-dev `lib` (not default) /nix/store/p0rb8g7znj5w2zksgangy0n4f5szhn6v-z3-solver-4.13.4-lib
`x86_64-linux` Linux · x86-64	`python313Packages.z3-solver`	ebe4301cbd8f	2025-04-17	`python` /nix/store/755acqwfb4l0aqix43bzba5ps32hpb8g-z3-solver-4.13.4-python `out` /nix/store/w4xf8ng18yxf45hww7wkfbd97yk5l130-z3-solver-4.13.4 `dev` (not default) /nix/store/4f8234jia8ldpfa1xsc5c9s68qdncx3z-z3-solver-4.13.4-dev `lib` (not default) /nix/store/q50fzd52jvjs4334kf44z2n0fkf429ci-z3-solver-4.13.4-lib

← newer: 4.14.1 all 11 releases older: 4.8.17 →

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