python313Packages.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 python313Packages.model-checker@0.9.19

systemsaarch64-darwin, x86_64-darwin commited30f8aba41605e3ab46421e3dcb4510ec560ff8

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

systemsaarch64-linux, x86_64-linux commit1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python313Packages.model-checker`	ed30f8aba416	2025-05-04	`out` /nix/store/rf4jrnzqfaw13mr1f94c8fw6rbpb7qkq-python3.13-model-checker-0.9.19 `dist` (not default) /nix/store/03rjjpa2z566mxy20rmg0fkg280i8r2v-python3.13-model-checker-0.9.19-dist
`aarch64-linux` Linux · arm64	`python313Packages.model-checker`	1cb1c02a6b1b	2025-05-06	`out` /nix/store/zchxxrzlwz9bwvldhvlvj4yribhfp2br-python3.13-model-checker-0.9.19 `dist` (not default) /nix/store/c12gknczdcn4l2ni4z2cd6iyx946qykv-python3.13-model-checker-0.9.19-dist
`x86_64-darwin` macOS · x86-64	`python313Packages.model-checker`	ed30f8aba416	2025-05-04	`out` /nix/store/1inp6hccwz55vzx2hrkcgwa09f1bqvmz-python3.13-model-checker-0.9.19 `dist` (not default) /nix/store/4bl15y6gnlqs78aii0ng6v98ia44lx7r-python3.13-model-checker-0.9.19-dist
`x86_64-linux` Linux · x86-64	`python313Packages.model-checker`	1cb1c02a6b1b	2025-05-06	`out` /nix/store/n5jb3dqyh199kv5rzf0fb0d1264fwngf-python3.13-model-checker-0.9.19 `dist` (not default) /nix/store/a5lhkzdg62gicjql4vy7pwm02q0fr4y2-python3.13-model-checker-0.9.19-dist