nixsearch / pkg / python311Packages.deal-solver / 0.1.2
python311Packages.deal-solver 0.1.2
Z3-powered solver (theorem prover) for deal
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python311Packages.deal-solver@0.1.2
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit71a6392e367b08525ee710a93af2e80083b5b3e2
$ nix shell github:NixOS/nixpkgs/71a6392e367b08525ee710a93af2e80083b5b3e2#python311Packages.deal-solver
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python311Packages.deal-solver |
71a6392e367b | out/nix/store/z6ajsp918kpxixryha4faxa12aj9964s-python3.11-deal-solver-0.1.2 dist (not default)/nix/store/szj5gqffjdr8kxcrhzy4c6l6xgjwkfq4-python3.11-deal-solver-0.1.2-dist |
||
aarch64-linuxLinux · arm64 |
python311Packages.deal-solver |
71a6392e367b | out/nix/store/cjvpsjrvzgq97vh5ksblbpv7cispdwlj-python3.11-deal-solver-0.1.2 dist (not default)/nix/store/pv4hl819p5vj0l6zj17p57axn9sxaf00-python3.11-deal-solver-0.1.2-dist |
||
x86_64-darwinmacOS · x86-64 |
python311Packages.deal-solver |
71a6392e367b | out/nix/store/0r290qavq2wbpbf415mxc7c4b2587zzl-python3.11-deal-solver-0.1.2 dist (not default)/nix/store/dyn7a04ay5hwaw86r4iwxwjs0s0hl2nx-python3.11-deal-solver-0.1.2-dist |
||
x86_64-linuxLinux · x86-64 |
python311Packages.deal-solver |
71a6392e367b | out/nix/store/37aq7kr9gydq6csyhgh53kam9wv6bzj8-python3.11-deal-solver-0.1.2 dist (not default)/nix/store/29g691c4xzp4f9sxbpjqldiq8icl03i7-python3.11-deal-solver-0.1.2-dist |
JSON: /v2/pkg?name=python311Packages.deal-solver · /v2/resolve?name=python311Packages.deal-solver&version=0.1.2