python313Packages.model-checker 0.8.8

Hyperintensional theorem prover for counterfactual conditionals and modal operators

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

Pin this version

$ devbox add python313Packages.model-checker@0.8.8

systemsaarch64-darwin, x86_64-darwin commit8f76cf16b17c51ae0cc8e55488069593f6dab645

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

systemsaarch64-linux commitb9d43b3fe5152d1dc5783a2ba865b2a03388b741

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

systemsx86_64-linux commitdd613136ee91f67e5dba3f3f41ac99ae89c5406b

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python313Packages.model-checker`	8f76cf16b17c	2025-03-16	`out` /nix/store/5q2zdqarvf83wpsgjiagagbz02i7isnv-python3.13-model-checker-0.8.8 `dist` (not default) /nix/store/6h8i2wr0cfs97g2mbjaxxzc7bazb6xdg-python3.13-model-checker-0.8.8-dist
`aarch64-linux` Linux · arm64	`python313Packages.model-checker`	b9d43b3fe515	2025-04-01	`out` /nix/store/ic56jjdd29jkghi21qj5hadc99j5mlb3-python3.13-model-checker-0.8.8 `dist` (not default) /nix/store/7wdn2lqn0s7xai24v8484s04f684kaap-python3.13-model-checker-0.8.8-dist
`x86_64-darwin` macOS · x86-64	`python313Packages.model-checker`	8f76cf16b17c	2025-03-16	`out` /nix/store/069nc6vpb1jfmwx1x50p04vln3mhv6nk-python3.13-model-checker-0.8.8 `dist` (not default) /nix/store/4mcr50wzwdhl9q07k9z1id5n2ydbcdzd-python3.13-model-checker-0.8.8-dist
`x86_64-linux` Linux · x86-64	`python313Packages.model-checker`	dd613136ee91	2025-03-23	`out` /nix/store/049cjhnil5g5i1ynn4qvqdn4hmxh5mjl-python3.13-model-checker-0.8.8 `dist` (not default) /nix/store/h4s48ckjc0h0iy18vzmccjr81vmj8ssl-python3.13-model-checker-0.8.8-dist