nixsearch / pkg / python313Packages.model-checker / 0.8.19
python313Packages.model-checker 0.8.19
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.19
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit74a40410369a1c35ee09b8a1abee6f4acbedc059
$ nix shell github:NixOS/nixpkgs/74a40410369a1c35ee09b8a1abee6f4acbedc059#python313Packages.model-checker
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python313Packages.model-checker |
74a40410369a | out/nix/store/0xa2xkqmlz25w8x80dwbx9x5h4w4c7yg-python3.13-model-checker-0.8.19 dist (not default)/nix/store/iq972zlxizqnwwapkzh1r0icq538frxr-python3.13-model-checker-0.8.19-dist |
||
aarch64-linuxLinux · arm64 |
python313Packages.model-checker |
74a40410369a | out/nix/store/i20v8qgy9fbb65ndv957vjr0wd91h743-python3.13-model-checker-0.8.19 dist (not default)/nix/store/40rnn55ap3ay6i2q851s29q96brrz9m0-python3.13-model-checker-0.8.19-dist |
||
x86_64-darwinmacOS · x86-64 |
python313Packages.model-checker |
74a40410369a | out/nix/store/s22cc95sf38jxd46z76nl0q629139ppi-python3.13-model-checker-0.8.19 dist (not default)/nix/store/kdpsm1yl91mixk0qr9jbm20s8zr81rck-python3.13-model-checker-0.8.19-dist |
||
x86_64-linuxLinux · x86-64 |
python313Packages.model-checker |
74a40410369a | out/nix/store/0m7v7gxz8mld8v7v9iy0rh0iywpip2k3-python3.13-model-checker-0.8.19 dist (not default)/nix/store/nivi6ww528b72x27b0f6bq97lwryc6fk-python3.13-model-checker-0.8.19-dist |
JSON: /v2/pkg?name=python313Packages.model-checker · /v2/resolve?name=python313Packages.model-checker&version=0.8.19