nixsearch / pkg / python312Packages.model-checker / 0.9.18
python312Packages.model-checker 0.9.18
Hyperintensional theorem prover for counterfactual conditionals and modal operators
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python312Packages.model-checker@0.9.18
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit29335f23bea5e34228349ea739f31ee79e267b88
$ nix shell github:NixOS/nixpkgs/29335f23bea5e34228349ea739f31ee79e267b88#python312Packages.model-checker
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python312Packages.model-checker |
29335f23bea5 | out/nix/store/2ymm2q9h4hisiz5yfvfd67kv9yhr5h9q-python3.12-model-checker-0.9.18 dist (not default)/nix/store/2rbxlp89pkzwyw901jgdapns57v9z1d9-python3.12-model-checker-0.9.18-dist |
||
aarch64-linuxLinux · arm64 |
python312Packages.model-checker |
29335f23bea5 | out/nix/store/l4nrmpawddgjwwifdxz38zfa3kxn9yxv-python3.12-model-checker-0.9.18 dist (not default)/nix/store/ky5m6xg41ziyrb53rzvkbx84k1rrvv48-python3.12-model-checker-0.9.18-dist |
||
x86_64-darwinmacOS · x86-64 |
python312Packages.model-checker |
29335f23bea5 | out/nix/store/k185h1qnp3s1bz6qdvq1jvksf8sh4rs1-python3.12-model-checker-0.9.18 dist (not default)/nix/store/s3i638vc65kzbbz0ykdj4d3f1jjm0fmw-python3.12-model-checker-0.9.18-dist |
||
x86_64-linuxLinux · x86-64 |
python312Packages.model-checker |
29335f23bea5 | out/nix/store/9a7s1mk44zxq295h6nvl5b21ki0xwc7h-python3.12-model-checker-0.9.18 dist (not default)/nix/store/cx36kkzcja3cixzshjp92sb6nhpkjgvn-python3.12-model-checker-0.9.18-dist |
JSON: /v2/pkg?name=python312Packages.model-checker · /v2/resolve?name=python312Packages.model-checker&version=0.9.18