nixsearch / pkg / python313Packages.model-checker / 0.8.2
python313Packages.model-checker 0.8.2
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.8.2
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit2d068ae5c6516b2d04562de50a58c682540de9bf
$ nix shell github:NixOS/nixpkgs/2d068ae5c6516b2d04562de50a58c682540de9bf#python313Packages.model-checker
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python313Packages.model-checker |
2d068ae5c651 | out/nix/store/5h5gw19jsg9mb96ckhnsv57i984sb60b-python3.13-model-checker-0.8.2 dist (not default)/nix/store/9akmwmprx40fc1r7cykj9xk6jh196w89-python3.13-model-checker-0.8.2-dist |
||
aarch64-linuxLinux · arm64 |
python313Packages.model-checker |
2d068ae5c651 | out/nix/store/qmh3vqljlrar4jhskaqi1jcwspyr1rf6-python3.13-model-checker-0.8.2 dist (not default)/nix/store/9rrxjgpm6p3m3i4n7d9wl9x8mzh7pwq9-python3.13-model-checker-0.8.2-dist |
||
x86_64-darwinmacOS · x86-64 |
python313Packages.model-checker |
2d068ae5c651 | out/nix/store/01hhhg8ymq42vazm869hby1ys6rjj4ss-python3.13-model-checker-0.8.2 dist (not default)/nix/store/lhlpi22sb0ibqm8nw0xkpqly51r6f090-python3.13-model-checker-0.8.2-dist |
||
x86_64-linuxLinux · x86-64 |
python313Packages.model-checker |
2d068ae5c651 | out/nix/store/qgv7109r521lq2byk47ycn5818vslwjy-python3.13-model-checker-0.8.2 dist (not default)/nix/store/30nxyylzrwl7s1jx9py8brvwnfvy972c-python3.13-model-checker-0.8.2-dist |
JSON: /v2/pkg?name=python313Packages.model-checker · /v2/resolve?name=python313Packages.model-checker&version=0.8.2