nixsearch / pkg / python39Packages.deal-solver / 0.1.1
python39Packages.deal-solver 0.1.1
Z3-powered solver (theorem prover) for deal
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python39Packages.deal-solver@0.1.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit80c24eeb9ff46aa99617844d0c4168659e35175f
$ nix shell github:NixOS/nixpkgs/80c24eeb9ff46aa99617844d0c4168659e35175f#python39Packages.deal-solver
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python39Packages.deal-solver |
80c24eeb9ff4 | out/nix/store/ihf1wrscdqfz9gqrnaxm8czw5iln2g1j-python3.9-deal-solver-0.1.1 dist (not default)/nix/store/15vnjs4a8bb5yv7z6lfg9mav06h3al5q-python3.9-deal-solver-0.1.1-dist |
||
aarch64-linuxLinux · arm64 |
python39Packages.deal-solver |
80c24eeb9ff4 | out/nix/store/ia6lk1ja1nk87b7d4c5s3wi1nhi736i9-python3.9-deal-solver-0.1.1 dist (not default)/nix/store/5gg36vm58s5k4ls6irj2nymhq0mp5fpv-python3.9-deal-solver-0.1.1-dist |
||
x86_64-darwinmacOS · x86-64 |
python39Packages.deal-solver |
80c24eeb9ff4 | out/nix/store/n4caz2q6k0635wjmrxshvg68gzxr3zl7-python3.9-deal-solver-0.1.1 dist (not default)/nix/store/dvcrm6p7wsjx3fpp2g1q71ljvppradnq-python3.9-deal-solver-0.1.1-dist |
||
x86_64-linuxLinux · x86-64 |
python39Packages.deal-solver |
80c24eeb9ff4 | out/nix/store/ysk4gvkh21yhfr3f6zglpp77fhr4ykb3-python3.9-deal-solver-0.1.1 dist (not default)/nix/store/53zald12389dh5nc7nf33wvmry0ab662-python3.9-deal-solver-0.1.1-dist |
JSON: /v2/pkg?name=python39Packages.deal-solver · /v2/resolve?name=python39Packages.deal-solver&version=0.1.1