nixsearch / pkg / python313Packages.model-checker / 1.0.2
python313Packages.model-checker 1.0.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@1.0.2
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitf4b140d5b253f5e2a1ff4e5506edbf8267724bde
$ nix shell github:NixOS/nixpkgs/f4b140d5b253f5e2a1ff4e5506edbf8267724bde#python313Packages.model-checker
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python313Packages.model-checker |
f4b140d5b253 | out/nix/store/ykq84awqlfj14gd96rwshhyhg7d04mb7-python3.13-model-checker-1.0.2 dist (not default)/nix/store/7cnrv90jjj85r5nmvq9wllws63z81225-python3.13-model-checker-1.0.2-dist |
||
aarch64-linuxLinux · arm64 |
python313Packages.model-checker |
f4b140d5b253 | out/nix/store/sgkjzhljy4dwfggkxz986q2w3a45jnsb-python3.13-model-checker-1.0.2 dist (not default)/nix/store/w9z2kg7gc0q51059asyn5g7ym8mba88a-python3.13-model-checker-1.0.2-dist |
||
x86_64-darwinmacOS · x86-64 |
python313Packages.model-checker |
f4b140d5b253 | out/nix/store/0bk8iyzd69fcxmynpxfypy4chbwwwwvi-python3.13-model-checker-1.0.2 dist (not default)/nix/store/xrwmbg7b5amddxgc9rm3rlbid589dz8n-python3.13-model-checker-1.0.2-dist |
||
x86_64-linuxLinux · x86-64 |
python313Packages.model-checker |
f4b140d5b253 | out/nix/store/08hrja5awhc4dssdiyfqw2wv4xjpzm1m-python3.13-model-checker-1.0.2 dist (not default)/nix/store/asz83q9x7nl0cps510zznp9byaqqcdyi-python3.13-model-checker-1.0.2-dist |
JSON: /v2/pkg?name=python313Packages.model-checker · /v2/resolve?name=python313Packages.model-checker&version=1.0.2