{"name":"python312Packages.model-checker","version":"0.6.2","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7cc0bff31a3a705d3ac4fdceb030a17239412210"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-12-27T03:08:00Z","outputs":[{"name":"out","path":"/nix/store/rsyf2mvb9d9rdfakxj9q73y79zvnzv1f-python3.12-model-checker-0.6.2","default":true},{"name":"dist","path":"/nix/store/q63md67yp1ij9wspzzbpfqr62mi23pnn-python3.12-model-checker-0.6.2-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7cc0bff31a3a705d3ac4fdceb030a17239412210"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-12-27T03:08:00Z","outputs":[{"name":"out","path":"/nix/store/3a2ldipbsljcqjz2cn3bwfh6nzjc4c3y-python3.12-model-checker-0.6.2","default":true},{"name":"dist","path":"/nix/store/y7r4ds6m9gp8qm729f3zfhrq6pkqbyja-python3.12-model-checker-0.6.2-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7cc0bff31a3a705d3ac4fdceb030a17239412210"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-12-27T03:08:00Z","outputs":[{"name":"out","path":"/nix/store/ds2lvjfv593vb0gv3y2n4yiixwvqb6mm-python3.12-model-checker-0.6.2","default":true},{"name":"dist","path":"/nix/store/jw3v7900jqvvr1iq5fl9ywkawfvi3iaj-python3.12-model-checker-0.6.2-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7cc0bff31a3a705d3ac4fdceb030a17239412210"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-12-27T03:08:00Z","outputs":[{"name":"out","path":"/nix/store/zf3s5wki01gyyiz31pqvsdciq5zqff24-python3.12-model-checker-0.6.2","default":true},{"name":"dist","path":"/nix/store/rf8gxxnbahxd5gm7klbibib2fp0ypk1f-python3.12-model-checker-0.6.2-dist"}]}}}