{"name":"python313Packages.model-checker","version":"0.9.31","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/f3pdkxvrasybjsxn9vvrrm7wbr15ddc8-python3.13-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/a4n4hxnwwddncbh7j5wdi1ll3adzl3bp-python3.13-model-checker-0.9.31-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/19gl345w412nhrrms2nafk9gx5k6xhha-python3.13-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/7qk5701v1jrq3fmh2dyj0h56zrq48k43-python3.13-model-checker-0.9.31-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/y8abwbilsp342hh5yqnd2dqfa94qw7q2-python3.13-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/d5w0n893x9cyf6xzbbr49bhfi3g00prb-python3.13-model-checker-0.9.31-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/6h1257lqik46182yi22ldhqz189id19g-python3.13-model-checker-0.9.31","default":true},{"name":"dist","path":"/nix/store/k911n6c4g21ki8i1lnpdy7nibv05zmb8-python3.13-model-checker-0.9.31-dist"}]}}}