{"name":"python312Packages.model-checker","version":"0.9.20","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/bpbnryh9ciyp56nccip401rq7l9rb05z-python3.12-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/h7q11wqw40iiyp2k3784wa149510k8cy-python3.12-model-checker-0.9.20-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/6xm1g82jialv3sv9mpbqn9f685hmjrdk-python3.12-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/jb5pfza6cyx7gw7a5p1wpd7w3pkfpm5l-python3.12-model-checker-0.9.20-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/i4wman58wdcyhdzcq0rfsqh7ynngjabm-python3.12-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/nfw2759ylxr73qrillw4mg2nzw5wswh1-python3.12-model-checker-0.9.20-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/s8amk75n9glsa9kacximikw1girkcghr-python3.12-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/5fmbqg59xk84w075a4ihvvl6d3fs5wmh-python3.12-model-checker-0.9.20-dist"}]}}}