python312Packages.model-checker 0.5.6

Hyperintensional theorem prover for counterfactual conditionals and modal operators

Linux and macOS last changed 2024-12-23 outputs: out, dist

Pin this version

$ devbox add python312Packages.model-checker@0.5.6

systemsaarch64-darwin, x86_64-darwin commit566e53c2ad750c84f6d31f9ccb9d00f823165550

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

systemsaarch64-linux, x86_64-linux commitde1864217bfa9b5845f465e771e0ecb48b30e02d

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

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`python312Packages.model-checker`	566e53c2ad75	2024-12-03	`out` /nix/store/jdpl4mczbmkr9xxyjvi1vybpy4dkf4jw-python3.12-model-checker-0.5.6 `dist` (not default) /nix/store/9sw5zlrn5058nan3nw9qjslri1c5xh9y-python3.12-model-checker-0.5.6-dist
`aarch64-linux` Linux · arm64	`python312Packages.model-checker`	de1864217bfa	2024-12-23	`out` /nix/store/6vazqzvpz9c90093pf9zkc3ay1w3fqw1-python3.12-model-checker-0.5.6 `dist` (not default) /nix/store/88912dql88rsld717wfmw5y8nb2wbzma-python3.12-model-checker-0.5.6-dist
`x86_64-darwin` macOS · x86-64	`python312Packages.model-checker`	566e53c2ad75	2024-12-03	`out` /nix/store/ffik0lhazwq2d3qzka47c3pqfnhbj211-python3.12-model-checker-0.5.6 `dist` (not default) /nix/store/a012k94giaf9s1k7vc43a463q34z32sn-python3.12-model-checker-0.5.6-dist
`x86_64-linux` Linux · x86-64	`python312Packages.model-checker`	de1864217bfa	2024-12-23	`out` /nix/store/g41yjg9rgkh2w71pwg84lazfl3c1g5x9-python3.12-model-checker-0.5.6 `dist` (not default) /nix/store/2saxqzr3aqgaspj7i910v9dy95qvvxjs-python3.12-model-checker-0.5.6-dist