python312Packages.model-checker 0.9.19

Hyperintensional theorem prover for counterfactual conditionals and modal operators

Linux and macOS last changed 2025-05-06 outputs: out, dist

Pin this version

$ devbox add python312Packages.model-checker@0.9.19

systemsaarch64-darwin, x86_64-darwin commited30f8aba41605e3ab46421e3dcb4510ec560ff8

$ nix shell github:NixOS/nixpkgs/ed30f8aba41605e3ab46421e3dcb4510ec560ff8#python312Packages.model-checker

systemsaarch64-linux, x86_64-linux commit1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679

$ nix shell github:NixOS/nixpkgs/1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679#python312Packages.model-checker

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python312Packages.model-checker`	ed30f8aba416	2025-05-04	`out` /nix/store/3jdhbf13hqriknzd6rnl0c3fn5l71y8a-python3.12-model-checker-0.9.19 `dist` (not default) /nix/store/059qrlj2in92vg61qihn5mdgv1mdbxfb-python3.12-model-checker-0.9.19-dist
`aarch64-linux` Linux · arm64	`python312Packages.model-checker`	1cb1c02a6b1b	2025-05-06	`out` /nix/store/nkf4zwhn2srkzl605fx3p2xbfaig71rk-python3.12-model-checker-0.9.19 `dist` (not default) /nix/store/q1b828x8mxs03pck8xl9gxc2nbrs932r-python3.12-model-checker-0.9.19-dist
`x86_64-darwin` macOS · x86-64	`python312Packages.model-checker`	ed30f8aba416	2025-05-04	`out` /nix/store/wcq1k4v7p2jf2203arrcb63zhfxhb2b8-python3.12-model-checker-0.9.19 `dist` (not default) /nix/store/x7va8lls10kf4f3ycds21mii5515m8i4-python3.12-model-checker-0.9.19-dist
`x86_64-linux` Linux · x86-64	`python312Packages.model-checker`	1cb1c02a6b1b	2025-05-06	`out` /nix/store/gl62yz9di4f8880zh9gd1r79cnjmp1d9-python3.12-model-checker-0.9.19 `dist` (not default) /nix/store/3nahhch0rbpifkc95am02fqqdn47ya0y-python3.12-model-checker-0.9.19-dist