python312Packages.model-checker 1.2.10

Hyperintensional theorem prover for counterfactual conditionals and modal operators

Linux and macOS last changed 2025-09-28 outputs: out, dist

Pin this version

$ devbox add python312Packages.model-checker@1.2.10

systemsaarch64-darwin commit53614373268559d054c080d070cfc732dbe68ac4

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

systemsaarch64-linux, x86_64-linux commit647e5c14cbd5067f44ac86b74f014962df460840

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

systemsx86_64-darwin commite3a3b32cc234f1683258d36c6232f150d57df015

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python312Packages.model-checker`	536143732685	2025-09-26	`out` /nix/store/mklj273hbhnhsps6jpp6nw68x1gvczh9-python3.12-model-checker-1.2.10 `dist` (not default) /nix/store/201dbdx3f7p0jg1yhglv5k1dq66mi1pb-python3.12-model-checker-1.2.10-dist
`aarch64-linux` Linux · arm64	`python312Packages.model-checker`	647e5c14cbd5	2025-09-28	`out` /nix/store/71m4b3dpyg8467wdyfxlcmr1swaz90xv-python3.12-model-checker-1.2.10 `dist` (not default) /nix/store/srwfvsx2zlll8zk6xnhvk83b18r0d720-python3.12-model-checker-1.2.10-dist
`x86_64-darwin` macOS · x86-64	`python312Packages.model-checker`	e3a3b32cc234	2025-09-27	`out` /nix/store/kmc9g8jh4g5l3qz79s5sy93hrw83q1jl-python3.12-model-checker-1.2.10 `dist` (not default) /nix/store/xw2viip9vl9cspp8zwl6cwwpvir7r2ks-python3.12-model-checker-1.2.10-dist
`x86_64-linux` Linux · x86-64	`python312Packages.model-checker`	647e5c14cbd5	2025-09-28	`out` /nix/store/1x4w2z38smmmzindyzwy7vvh8kbkdmfj-python3.12-model-checker-1.2.10 `dist` (not default) /nix/store/qc3mszsg5izj5vhpz1b7v0hizv78ibh6-python3.12-model-checker-1.2.10-dist