{"name":"python312Packages.model-checker","version":"0.8.5","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6c5c5f5100281f8f4ff23f13edd17d645178c87c"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-02-27T15:48:43Z","outputs":[{"name":"out","path":"/nix/store/a32wkgl5rd6mzy3i8mm7wx84p1zwh3sf-python3.12-model-checker-0.8.5","default":true},{"name":"dist","path":"/nix/store/rp0mj6dnkf3wgp946xrpmr2rfz42p9q8-python3.12-model-checker-0.8.5-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6c5c5f5100281f8f4ff23f13edd17d645178c87c"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-02-27T15:48:43Z","outputs":[{"name":"out","path":"/nix/store/jaqc7x03b8xxldg97jpzcdbx7wwhwyfc-python3.12-model-checker-0.8.5","default":true},{"name":"dist","path":"/nix/store/9riz89sy79w4l6a2kjyb6rq9vp9xbyfq-python3.12-model-checker-0.8.5-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6c5c5f5100281f8f4ff23f13edd17d645178c87c"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-02-27T15:48:43Z","outputs":[{"name":"out","path":"/nix/store/vsnjqc1181diqkdkzfqzn4s3qrhwz0y2-python3.12-model-checker-0.8.5","default":true},{"name":"dist","path":"/nix/store/6q8q8vkffyddsx83czs3zlk4rqr0ba5i-python3.12-model-checker-0.8.5-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6c5c5f5100281f8f4ff23f13edd17d645178c87c"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-02-27T15:48:43Z","outputs":[{"name":"out","path":"/nix/store/929v6fars3w7bdak2zmmasj5l2m11z5q-python3.12-model-checker-0.8.5","default":true},{"name":"dist","path":"/nix/store/a5zwcsdn6cy47vybjfak46m1n03gqj2j-python3.12-model-checker-0.8.5-dist"}]}}}