nixsearch / pkg / python313Packages.model-checker / 0.9.21
python313Packages.model-checker 0.9.21
Hyperintensional theorem prover for counterfactual conditionals and modal operators
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python313Packages.model-checker@0.9.21
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit076e8c6678d8c54204abcb4b1b14c366835a58bb
$ nix shell github:NixOS/nixpkgs/076e8c6678d8c54204abcb4b1b14c366835a58bb#python313Packages.model-checker
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python313Packages.model-checker |
076e8c6678d8 | out/nix/store/ip22wyczaicki48fazd2ywzihy4vl52v-python3.13-model-checker-0.9.21 dist (not default)/nix/store/a9pgwkqdj9d1ij6rw70gxag7s1qd1rci-python3.13-model-checker-0.9.21-dist |
||
aarch64-linuxLinux · arm64 |
python313Packages.model-checker |
076e8c6678d8 | out/nix/store/57b722zs21d8xgjscy3arwf4jqri173j-python3.13-model-checker-0.9.21 dist (not default)/nix/store/xy6rs3hgrcnlbsyk29gwlk3w4nfv9wif-python3.13-model-checker-0.9.21-dist |
||
x86_64-darwinmacOS · x86-64 |
python313Packages.model-checker |
076e8c6678d8 | out/nix/store/w49vcd8rgp2slq9calgc11082xzawq7i-python3.13-model-checker-0.9.21 dist (not default)/nix/store/084jssi9apvps8c6hpn0bmzqsa68nfz3-python3.13-model-checker-0.9.21-dist |
||
x86_64-linuxLinux · x86-64 |
python313Packages.model-checker |
076e8c6678d8 | out/nix/store/h986nn4q6nhxanmy68mxmkv1glx30ims-python3.13-model-checker-0.9.21 dist (not default)/nix/store/3f9wpv3zny2vkbhi7w1zixh1n7fha7si-python3.13-model-checker-0.9.21-dist |
JSON: /v2/pkg?name=python313Packages.model-checker · /v2/resolve?name=python313Packages.model-checker&version=0.9.21