nixsearch / pkg / python311Packages.deal-solver / 0.1.1
python311Packages.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 python311Packages.deal-solver@0.1.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit517501bcf14ae6ec47efd6a17dda0ca8e6d866f9
$ nix shell github:NixOS/nixpkgs/517501bcf14ae6ec47efd6a17dda0ca8e6d866f9#python311Packages.deal-solver
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python311Packages.deal-solver |
517501bcf14a | out/nix/store/c635brw7nsbralfv6fc3gxjaddhl1asm-python3.11-deal-solver-0.1.1 dist (not default)/nix/store/ihqiqpack379ywpfm08f6zjv48vbda7q-python3.11-deal-solver-0.1.1-dist |
||
aarch64-linuxLinux · arm64 |
python311Packages.deal-solver |
517501bcf14a | out/nix/store/pk1sdlza8ff4la58h8wg4gm3npgk07h5-python3.11-deal-solver-0.1.1 dist (not default)/nix/store/cvkgvgzifb9x7ggn92s3wasgx4q9pi7a-python3.11-deal-solver-0.1.1-dist |
||
x86_64-darwinmacOS · x86-64 |
python311Packages.deal-solver |
517501bcf14a | out/nix/store/bzrph1wy2mh90wkryqgbi8qsjh218s7y-python3.11-deal-solver-0.1.1 dist (not default)/nix/store/wg8k25jw2jsgp45giwh1db5p4qiw5w7a-python3.11-deal-solver-0.1.1-dist |
||
x86_64-linuxLinux · x86-64 |
python311Packages.deal-solver |
517501bcf14a | out/nix/store/9yz5ljfy4xlzc4z8b8yhlm8nxdd34nqj-python3.11-deal-solver-0.1.1 dist (not default)/nix/store/zz4s6ykmrv2pg2868zxv25zblqx3l7x8-python3.11-deal-solver-0.1.1-dist |
JSON: /v2/pkg?name=python311Packages.deal-solver · /v2/resolve?name=python311Packages.deal-solver&version=0.1.1