{"name":"python312Packages.model-checker","version":"0.8.19","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"74a40410369a1c35ee09b8a1abee6f4acbedc059"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/l6y1wiz9qkqz9li1df5sn23pn0czjdas-python3.12-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/1pcsi7yskc7ks0x405wqhm3r5mlkywqp-python3.12-model-checker-0.8.19-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"74a40410369a1c35ee09b8a1abee6f4acbedc059"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/mrysqaalcz2j37s1iks805p8xizzlsa1-python3.12-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/fj6l46qpkmfciwz3f7qa9hf3v5hv3jcs-python3.12-model-checker-0.8.19-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"74a40410369a1c35ee09b8a1abee6f4acbedc059"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/34y0pxl25hj3l7l608yvxn6h75xl3f2h-python3.12-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/2ypr25qpcr3gi3bjvbkxb27d4zp4bqs6-python3.12-model-checker-0.8.19-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"74a40410369a1c35ee09b8a1abee6f4acbedc059"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/4y0k20jbsymhw1idfi03zdpwhc6d58ai-python3.12-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/zxf73y7jyilldnky4dbsll96svmy3wxr-python3.12-model-checker-0.8.19-dist"}]}}}