{"name":"python312Packages.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":"python312Packages.model-checker"},"last_updated":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/37rhdj1n6i3mqh1bzhpqh0l8c8v0n16p-python3.12-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/2ykp603qv74x0bc9i8809z9qic07kxh8-python3.12-model-checker-0.6.6-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9e09ce2d47c7700b877becef99ce7e27f15604dc"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/g9f5wwi6m26g6cgx0aiiy89avnac1cp1-python3.12-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/wlsa6sbjmdbxr10ldzqv9qzhvnqbllhd-python3.12-model-checker-0.6.6-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9e09ce2d47c7700b877becef99ce7e27f15604dc"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/pb7h71p3711hrcvwv8m56ywd0zc0lam2-python3.12-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/2g46gcv1ixdvrm8hi6bjbk3cxwxxajqh-python3.12-model-checker-0.6.6-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9e09ce2d47c7700b877becef99ce7e27f15604dc"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-12-28T05:01:57Z","outputs":[{"name":"out","path":"/nix/store/k6call9y8rpigl5wc2k5nbzbwy6v9vqr-python3.12-model-checker-0.6.6","default":true},{"name":"dist","path":"/nix/store/cf60w606in5mz03ga7sf52hq7c20vxhb-python3.12-model-checker-0.6.6-dist"}]}}}