python312Packages.model-checker 0.8.8

Hyperintensional theorem prover for counterfactual conditionals and modal operators

Linux and macOS last changed 2025-03-26 outputs: out, dist

Pin this version

$ devbox add python312Packages.model-checker@0.8.8

systemsaarch64-darwin, aarch64-linux commitdd613136ee91f67e5dba3f3f41ac99ae89c5406b

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

systemsx86_64-darwin commit8f76cf16b17c51ae0cc8e55488069593f6dab645

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

systemsx86_64-linux commitbd3bac8bfb542dbde7ffffb6987a1a1f9d41699f

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python312Packages.model-checker`	dd613136ee91	2025-03-23	`out` /nix/store/fs8wjbb65bxwgqjfz68zazq8830c7yw0-python3.12-model-checker-0.8.8 `dist` (not default) /nix/store/vbyd9i5w7vv5nyry403qy5skdmaqlll4-python3.12-model-checker-0.8.8-dist
`aarch64-linux` Linux · arm64	`python312Packages.model-checker`	dd613136ee91	2025-03-23	`out` /nix/store/z0xam4nv9dzvipl4k4b3q78wlny6s616-python3.12-model-checker-0.8.8 `dist` (not default) /nix/store/h3346ahs0cijjlch5vzn2n7ajp0f5w78-python3.12-model-checker-0.8.8-dist
`x86_64-darwin` macOS · x86-64	`python312Packages.model-checker`	8f76cf16b17c	2025-03-16	`out` /nix/store/k9kylw2dcjll6pws393bhzyhcn0fjjrk-python3.12-model-checker-0.8.8 `dist` (not default) /nix/store/h2cqh0aiy3wv88kqs6y4d6in7nx9nkxl-python3.12-model-checker-0.8.8-dist
`x86_64-linux` Linux · x86-64	`python312Packages.model-checker`	bd3bac8bfb54	2025-03-26	`out` /nix/store/jvb8vn7rjrckxcq7x8nkwl4znh32kmkn-python3.12-model-checker-0.8.8 `dist` (not default) /nix/store/xjrzfamxfnp27azm0l4r5xcaaqan04f8-python3.12-model-checker-0.8.8-dist