{"name":"python312Packages.model-checker","version":"0.7.3","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/97pkpz9j1578j2w3x4fr4vvsi9zm1nxk-python3.12-model-checker-0.7.3","default":true},{"name":"dist","path":"/nix/store/sgvwzdnmlz6xnn2rg39igxvasgrvs89c-python3.12-model-checker-0.7.3-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/qmmfzjv78axjg7hpr4wfqlz10rmpgmf1-python3.12-model-checker-0.7.3","default":true},{"name":"dist","path":"/nix/store/3awx9a4kl1mgmiv089i5xfg7q0awqyzy-python3.12-model-checker-0.7.3-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/pfc6qxp5mj7rnrpjvr0rsibcb41b2gqv-python3.12-model-checker-0.7.3","default":true},{"name":"dist","path":"/nix/store/rv0iwgxavwjw1k69mggrx3v34dkcypqf-python3.12-model-checker-0.7.3-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/is7m3q4c6xq3n46a75s5vcp28az32r23-python3.12-model-checker-0.7.3","default":true},{"name":"dist","path":"/nix/store/gvnys6p8wl0255gbbqldd8nvbpn2ky9l-python3.12-model-checker-0.7.3-dist"}]}}}