{"name":"python312Packages.model-checker","version":"0.5.6","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/jdpl4mczbmkr9xxyjvi1vybpy4dkf4jw-python3.12-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/9sw5zlrn5058nan3nw9qjslri1c5xh9y-python3.12-model-checker-0.5.6-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/6vazqzvpz9c90093pf9zkc3ay1w3fqw1-python3.12-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/88912dql88rsld717wfmw5y8nb2wbzma-python3.12-model-checker-0.5.6-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/ffik0lhazwq2d3qzka47c3pqfnhbj211-python3.12-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/a012k94giaf9s1k7vc43a463q34z32sn-python3.12-model-checker-0.5.6-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/g41yjg9rgkh2w71pwg84lazfl3c1g5x9-python3.12-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/2saxqzr3aqgaspj7i910v9dy95qvvxjs-python3.12-model-checker-0.5.6-dist"}]}}}