nixsearch / pkg / python312Packages.model-checker / 0.6.2
python312Packages.model-checker 0.6.2
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.6.2
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit7cc0bff31a3a705d3ac4fdceb030a17239412210
$ nix shell github:NixOS/nixpkgs/7cc0bff31a3a705d3ac4fdceb030a17239412210#python312Packages.model-checker
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python312Packages.model-checker |
7cc0bff31a3a | out/nix/store/rsyf2mvb9d9rdfakxj9q73y79zvnzv1f-python3.12-model-checker-0.6.2 dist (not default)/nix/store/q63md67yp1ij9wspzzbpfqr62mi23pnn-python3.12-model-checker-0.6.2-dist |
||
aarch64-linuxLinux · arm64 |
python312Packages.model-checker |
7cc0bff31a3a | out/nix/store/3a2ldipbsljcqjz2cn3bwfh6nzjc4c3y-python3.12-model-checker-0.6.2 dist (not default)/nix/store/y7r4ds6m9gp8qm729f3zfhrq6pkqbyja-python3.12-model-checker-0.6.2-dist |
||
x86_64-darwinmacOS · x86-64 |
python312Packages.model-checker |
7cc0bff31a3a | out/nix/store/ds2lvjfv593vb0gv3y2n4yiixwvqb6mm-python3.12-model-checker-0.6.2 dist (not default)/nix/store/jw3v7900jqvvr1iq5fl9ywkawfvi3iaj-python3.12-model-checker-0.6.2-dist |
||
x86_64-linuxLinux · x86-64 |
python312Packages.model-checker |
7cc0bff31a3a | out/nix/store/zf3s5wki01gyyiz31pqvsdciq5zqff24-python3.12-model-checker-0.6.2 dist (not default)/nix/store/rf8gxxnbahxd5gm7klbibib2fp0ypk1f-python3.12-model-checker-0.6.2-dist |
JSON: /v2/pkg?name=python312Packages.model-checker · /v2/resolve?name=python312Packages.model-checker&version=0.6.2