{"name":"python312Packages.model-checker","version":"0.7.1","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"32af3611f6f05655ca166a0b1f47b57c762b5192"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/rsbqa22nsjhiz4djg5zdsnqh6ivdpjib-python3.12-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/d52izwb2sqllvif20alwaswv6q2l2y2j-python3.12-model-checker-0.7.1-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"32af3611f6f05655ca166a0b1f47b57c762b5192"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/by6j49ffd115s3x35f3r695hkymyz6ff-python3.12-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/8qgp2z3pfvkpc9brfkng3ivzn81096ri-python3.12-model-checker-0.7.1-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"32af3611f6f05655ca166a0b1f47b57c762b5192"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/800jr73l6fbx5s8bgvc2hx09mj59v85g-python3.12-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/rvy4qz1hxcsklfqxvrsa9vlk6zyk70wm-python3.12-model-checker-0.7.1-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"32af3611f6f05655ca166a0b1f47b57c762b5192"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/irjz7y8zaq86brs7hc00wsqx7acypkk0-python3.12-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/qfy6kc275g1pdvmlbs7s5s8pildpp1mn-python3.12-model-checker-0.7.1-dist"}]}}}