{"name":"python313Packages.model-checker","version":"0.9.21","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"076e8c6678d8c54204abcb4b1b14c366835a58bb"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/ip22wyczaicki48fazd2ywzihy4vl52v-python3.13-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/a9pgwkqdj9d1ij6rw70gxag7s1qd1rci-python3.13-model-checker-0.9.21-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"076e8c6678d8c54204abcb4b1b14c366835a58bb"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/57b722zs21d8xgjscy3arwf4jqri173j-python3.13-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/xy6rs3hgrcnlbsyk29gwlk3w4nfv9wif-python3.13-model-checker-0.9.21-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"076e8c6678d8c54204abcb4b1b14c366835a58bb"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/w49vcd8rgp2slq9calgc11082xzawq7i-python3.13-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/084jssi9apvps8c6hpn0bmzqsa68nfz3-python3.13-model-checker-0.9.21-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"076e8c6678d8c54204abcb4b1b14c366835a58bb"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-06-20T02:24:11Z","outputs":[{"name":"out","path":"/nix/store/h986nn4q6nhxanmy68mxmkv1glx30ims-python3.13-model-checker-0.9.21","default":true},{"name":"dist","path":"/nix/store/3f9wpv3zny2vkbhi7w1zixh1n7fha7si-python3.13-model-checker-0.9.21-dist"}]}}}