{"name":"python313Packages.model-checker","version":"0.8.13","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2bfc080955153be0be56724be6fa5477b4eefabb"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-04-03T14:08:01Z","outputs":[{"name":"out","path":"/nix/store/65i5mg9qiigjr6r6fj869yzylllrp2lq-python3.13-model-checker-0.8.13","default":true},{"name":"dist","path":"/nix/store/6cnap3p0nm6k0y27714j3ya8n74kgdpc-python3.13-model-checker-0.8.13-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2bfc080955153be0be56724be6fa5477b4eefabb"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-04-03T14:08:01Z","outputs":[{"name":"out","path":"/nix/store/23zfdh3hcx0b94pc15q04jxdbr4xjjff-python3.13-model-checker-0.8.13","default":true},{"name":"dist","path":"/nix/store/pdbz9yrzkbkp0ikh697ihxanlpg6lrpd-python3.13-model-checker-0.8.13-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2bfc080955153be0be56724be6fa5477b4eefabb"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-04-03T14:08:01Z","outputs":[{"name":"out","path":"/nix/store/3zjxghvf2bqk1ilsizar4c2pagfc156a-python3.13-model-checker-0.8.13","default":true},{"name":"dist","path":"/nix/store/ajx2z444aialxsx5j9f7mr8ykc5lrpjk-python3.13-model-checker-0.8.13-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2bfc080955153be0be56724be6fa5477b4eefabb"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-04-03T14:08:01Z","outputs":[{"name":"out","path":"/nix/store/bhxkzv02d6lbpb5krknw6prxz94ps4ih-python3.13-model-checker-0.8.13","default":true},{"name":"dist","path":"/nix/store/03hyz57vi8vvgiww51c5kq1klgbs89f3-python3.13-model-checker-0.8.13-dist"}]}}}