python313Packages.model-checker 0.8.25

Hyperintensional theorem prover for counterfactual conditionals and modal operators

Linux and macOS last changed 2025-04-12 outputs: out, dist

Pin this version

$ devbox add python313Packages.model-checker@0.8.25

systemsaarch64-darwin commitf6db44a8daa59c40ae41ba6e5823ec77fe0d2124

$ nix shell github:NixOS/nixpkgs/f6db44a8daa59c40ae41ba6e5823ec77fe0d2124#python313Packages.model-checker

systemsaarch64-linux, x86_64-darwin, x86_64-linux commitb2b0718004cc9a5bca610326de0a82e6ea75920b

$ nix shell github:NixOS/nixpkgs/b2b0718004cc9a5bca610326de0a82e6ea75920b#python313Packages.model-checker

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python313Packages.model-checker`	f6db44a8daa5	2025-04-12	`out` /nix/store/6aflhdbvsnr69x5n5c7p150hwlrnp368-python3.13-model-checker-0.8.25 `dist` (not default) /nix/store/lnpglx171815lpiwacssmnypmn27y81c-python3.13-model-checker-0.8.25-dist
`aarch64-linux` Linux · arm64	`python313Packages.model-checker`	b2b0718004cc	2025-04-08	`out` /nix/store/adnyf15xkwjcd2hqkhi3df050d2blbqc-python3.13-model-checker-0.8.25 `dist` (not default) /nix/store/cdi82p116va3ww2pc8f4xca34f31ri1p-python3.13-model-checker-0.8.25-dist
`x86_64-darwin` macOS · x86-64	`python313Packages.model-checker`	b2b0718004cc	2025-04-08	`out` /nix/store/vzqb89yz7jibikc2ajd0ghjbzilyf23i-python3.13-model-checker-0.8.25 `dist` (not default) /nix/store/chq097cgv99as35kgzxmj77plravabmb-python3.13-model-checker-0.8.25-dist
`x86_64-linux` Linux · x86-64	`python313Packages.model-checker`	b2b0718004cc	2025-04-08	`out` /nix/store/9q3vw05lqcnqig6kzj5009dfh20s00xh-python3.13-model-checker-0.8.25 `dist` (not default) /nix/store/fi1pry7s41hipihm1rqjv0rmyq6s9hxg-python3.13-model-checker-0.8.25-dist