{"name":"python312Packages.model-checker","version":"0.8.25","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b2b0718004cc9a5bca610326de0a82e6ea75920b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-08T07:10:31Z","outputs":[{"name":"out","path":"/nix/store/yz1y7bvgmq5m4194aa46mw7fzdgnygn2-python3.12-model-checker-0.8.25","default":true},{"name":"dist","path":"/nix/store/7r35iyhdmqh2mkaqrfzrv8nk4ryppr0x-python3.12-model-checker-0.8.25-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b2b0718004cc9a5bca610326de0a82e6ea75920b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-08T07:10:31Z","outputs":[{"name":"out","path":"/nix/store/rzf1x2khrwp1rlzrjscz9wivnfpwy81q-python3.12-model-checker-0.8.25","default":true},{"name":"dist","path":"/nix/store/kfhi9a365h74xf2jwp8c2n0kh2ngkhyk-python3.12-model-checker-0.8.25-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b2b0718004cc9a5bca610326de0a82e6ea75920b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-08T07:10:31Z","outputs":[{"name":"out","path":"/nix/store/wj60mblwfzygrnf36fxki8dmpa07r5vx-python3.12-model-checker-0.8.25","default":true},{"name":"dist","path":"/nix/store/q5m9d8p0fqa5syqarsnlrsghhihakz98-python3.12-model-checker-0.8.25-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b2b0718004cc9a5bca610326de0a82e6ea75920b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-08T07:10:31Z","outputs":[{"name":"out","path":"/nix/store/5v3l6p3s6gppf18i9362pd7y1s0g63h0-python3.12-model-checker-0.8.25","default":true},{"name":"dist","path":"/nix/store/js57dj2dy05wj1zfkgkskcfkgc3r6f2g-python3.12-model-checker-0.8.25-dist"}]}}}