nixsearch / pkg / python311Packages.deal-solver
python311Packages.deal-solver
Z3-powered solver (theorem prover) for deal
version0.1.2
attributepython311Packages.deal-solver
rev71a6392e367b08525ee710a93af2e80083b5b3e2 · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
$ devbox add python311Packages.deal-solver@0.1.2
$ nix shell github:NixOS/nixpkgs/71a6392e367b08525ee710a93af2e80083b5b3e2#python311Packages.deal-solver
JSON: /v2/resolve?name=python311Packages.deal-solver&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 0.1.2resolved | ✓ | ✓ | ✓ | ✓ | python311Packages.deal-solver |
71a6392e36 | out, dist | |
| 0.1.1 | ✓ | ✓ | ✓ | ✓ | python311Packages.deal-solver |
517501bcf1 | out, dist |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.