{"name":"python312Packages.model-checker","version":"0.3.21","summary":"A hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3305b2b25e4ae4baee872346eae133cf6f611783"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-05-23T08:10:22Z","outputs":[{"name":"out","path":"/nix/store/xwbgysj9irz7zpk0dkpv96g4jr37bbms-python3.12-model-checker-0.3.21","default":true},{"name":"dist","path":"/nix/store/jm1jybas8z1ajb4jqzf9djlzpsccf7nz-python3.12-model-checker-0.3.21-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3305b2b25e4ae4baee872346eae133cf6f611783"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-05-23T08:10:22Z","outputs":[{"name":"out","path":"/nix/store/8h7xp269dnsx717qwycyjfyrzaghvnpa-python3.12-model-checker-0.3.21","default":true},{"name":"dist","path":"/nix/store/p6x6qrhlcm5ldfjgcr3pr5l2wc6v2lka-python3.12-model-checker-0.3.21-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3305b2b25e4ae4baee872346eae133cf6f611783"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-05-23T08:10:22Z","outputs":[{"name":"out","path":"/nix/store/yq1hc570bnzhib625gz7zs6ja5cqa865-python3.12-model-checker-0.3.21","default":true},{"name":"dist","path":"/nix/store/64rc111njlh2p7c4vpwpg86scv8dq52i-python3.12-model-checker-0.3.21-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3305b2b25e4ae4baee872346eae133cf6f611783"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-05-23T08:10:22Z","outputs":[{"name":"out","path":"/nix/store/3jw71ciav2giias66vin9j2c3275186w-python3.12-model-checker-0.3.21","default":true},{"name":"dist","path":"/nix/store/0gw7al6n13vclpw476k58a3pvgz5nsrb-python3.12-model-checker-0.3.21-dist"}]}}}