{"name":"python312Packages.model-checker","version":"1.2.11","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/2v4298r08kzzw6rh1kzvkrj3v1vwxxmc-python3.12-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/2dm4mpdg1aajq51mggwvmrgllaihikac-python3.12-model-checker-1.2.11-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/40dj6gyqb3841qngk74gndz602g2653v-python3.12-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/yvn8a9ndiyxsarijqbmzjri8h8g5s0py-python3.12-model-checker-1.2.11-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/nlyby6x1gpvnyiinvdnj9hwm9pp87cdk-python3.12-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/k8r0ckg80ldshb4730xfixwlmx3kbnn4-python3.12-model-checker-1.2.11-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/bf0s131a0lxa1mrgnhvrdqy9faq621j5-python3.12-model-checker-1.2.11","default":true},{"name":"dist","path":"/nix/store/al1r6z6j5xd10wwrp2vbr8kw71hasj0x-python3.12-model-checker-1.2.11-dist"}]}}}