nixsearch / pkg / python313Packages.z3-solver / 4.8.17
python313Packages.z3-solver 4.8.17
High-performance theorem prover and SMT solver
Linux and macOS
last changed
outputs: out, python, dev, lib
Pin this version
$ devbox add python313Packages.z3-solver@4.8.17
$ nix shell github:NixOS/nixpkgs/2f9e2f85cb14a46410a1399aa9ea7ecf433e422e#python313Packages.z3-solver
$ nix shell github:NixOS/nixpkgs/ae2fb9f1fb5fcf17fb59f25c2a881c170c501d6f#python313Packages.z3-solver
$ nix shell github:NixOS/nixpkgs/733994ea06585b76621073160e87b0bfac7fc5ae#python313Packages.z3-solver
$ nix shell github:NixOS/nixpkgs/ef56e777fedaa4da8c66a150081523c5de1e0171#python313Packages.z3-solver
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python313Packages.z3-solver |
2f9e2f85cb14 | python/nix/store/wbw4vcq3ysdwfd0il9rs3hbd1z980v97-z3-solver-4.8.17-python out/nix/store/pgfikjwh49w58qw1360h3nzlkjdmn7xp-z3-solver-4.8.17 dev (not default)/nix/store/5pm3gzf6hfnfh19wgci4gb601y44h27g-z3-solver-4.8.17-dev lib (not default)/nix/store/iah5llnfshvx2d5nryz4zsbj6jxlx49j-z3-solver-4.8.17-lib |
||
aarch64-linuxLinux · arm64 |
python313Packages.z3-solver |
ae2fb9f1fb5f | python/nix/store/d8gz0kablgv09q2zvxwh3b1j95i8awj6-z3-solver-4.8.17-python out/nix/store/v73s451g3gcci2i9braq8zdmgkvg9bwd-z3-solver-4.8.17 dev (not default)/nix/store/6kf1q1dgfyx084ms4vsrz5rbapy0vfwq-z3-solver-4.8.17-dev lib (not default)/nix/store/8hwinmipcm4gw71m47af0cn6pjaw3shn-z3-solver-4.8.17-lib |
||
x86_64-darwinmacOS · x86-64 |
python313Packages.z3-solver |
733994ea0658 | python/nix/store/ig7kd8giccf93gnpmdyb4bydp98bs83d-z3-solver-4.8.17-python out/nix/store/p9rhrkfwh8y049a65bj0q9n8hssixg7f-z3-solver-4.8.17 dev (not default)/nix/store/vaslna4h32mrv3ir6an0arnp96h1sbzp-z3-solver-4.8.17-dev lib (not default)/nix/store/8wnfxc2x012k9l6qw309x8pqp75zxn0z-z3-solver-4.8.17-lib |
||
x86_64-linuxLinux · x86-64 |
python313Packages.z3-solver |
ef56e777feda | python/nix/store/hm11fs7fng5sqmxr8x9n7z23jgyr9m34-z3-solver-4.8.17-python out/nix/store/hb31zpdp0rhqlmhmlsp01icixxaf59m8-z3-solver-4.8.17 dev (not default)/nix/store/vabpbshlqripmx3nns3mx3hpacvh1n58-z3-solver-4.8.17-dev lib (not default)/nix/store/lv88gkh5qbf35xayx31d8bvfkrmwdijh-z3-solver-4.8.17-lib |
JSON: /v2/pkg?name=python313Packages.z3-solver · /v2/resolve?name=python313Packages.z3-solver&version=4.8.17