{"name":"python313Packages.model-checker","version":"0.6.6","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9e09ce2d47c7700b877becef99ce7e27f15604dc"},"attr_path":"python313Packages.model-checker"},"last_updated":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/knkwxrsgas95wvwwwyjsqwpwj5hjqqnr-python3.13-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/mb67z5v18x37q21wljf6mcv29avfqh7g-python3.13-model-checker-0.6.6-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9e09ce2d47c7700b877becef99ce7e27f15604dc"},"attr_path":"python313Packages.model-checker"},"last_updated":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/c4riy23n4ycxd68a1ly8v8gmlfg1r2xn-python3.13-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/2akp5c5i34x0azc9djdfl9ig7iilxdlg-python3.13-model-checker-0.6.6-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9e09ce2d47c7700b877becef99ce7e27f15604dc"},"attr_path":"python313Packages.model-checker"},"last_updated":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/7z5cq1qlz5ybmgbgadzipsic6hg0q215-python3.13-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/aapp6gkiqyd13y3qysc04535qrm4hp61-python3.13-model-checker-0.6.6-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9e09ce2d47c7700b877becef99ce7e27f15604dc"},"attr_path":"python313Packages.model-checker"},"last_updated":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/87mr6r8w4751ahv18rn5xw82wnj7fw2f-python3.13-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/951msznyllhh3mxb7vf8ggpvhw9c0dw8-python3.13-model-checker-0.6.6-dist"}]}}}