{"name":"python313Packages.model-checker","version":"0.7.1","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"32af3611f6f05655ca166a0b1f47b57c762b5192"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/44fy7q6yi02f452955d3n8d67271xw3x-python3.13-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/z4snm6n963ki2cnn6vij5kn3dpcqi0vs-python3.13-model-checker-0.7.1-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"32af3611f6f05655ca166a0b1f47b57c762b5192"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/zlgbmjdh96vd9mgip7jgcv33mfql559b-python3.13-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/lxjc7jipvz2dp26mf692lahy1vf0i5rl-python3.13-model-checker-0.7.1-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"32af3611f6f05655ca166a0b1f47b57c762b5192"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/vzdd2pnzxc9slswdqqsv6yb7sbwklykz-python3.13-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/5lsgjaw688asfn53q0xdm6c99p9xz3kv-python3.13-model-checker-0.7.1-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"32af3611f6f05655ca166a0b1f47b57c762b5192"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-01-09T11:09:19Z","outputs":[{"name":"out","path":"/nix/store/kma6a17bw3dapx72y0pl8kfzjjxyg9ln-python3.13-model-checker-0.7.1","default":true},{"name":"dist","path":"/nix/store/ai7458argqvp7yq8q7r9l6kxnkrl6mzq-python3.13-model-checker-0.7.1-dist"}]}}}