{"name":"python312Packages.model-checker","version":"0.9.26","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a421ac6595024edcfbb1ef950a3712b89161c359"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/wcahrmqisimkm2cr84wm5gc5mcdvh6bc-python3.12-model-checker-0.9.26","default":true},{"name":"dist","path":"/nix/store/8ab1h68jgg3r3iigbj6rps2lxbdbfadj-python3.12-model-checker-0.9.26-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a421ac6595024edcfbb1ef950a3712b89161c359"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/0l9c1spvzk6xfrpb8b5ivlb42d6vx4rh-python3.12-model-checker-0.9.26","default":true},{"name":"dist","path":"/nix/store/fjs7sdw4nvmg0bqsdp2y4qfmxd9mglbm-python3.12-model-checker-0.9.26-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a421ac6595024edcfbb1ef950a3712b89161c359"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/8nlvigzm8k96d12niiz44rzq43cr2x0m-python3.12-model-checker-0.9.26","default":true},{"name":"dist","path":"/nix/store/fh4l70jysl19jmz1ihmdmd8p0dsyp2ys-python3.12-model-checker-0.9.26-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a421ac6595024edcfbb1ef950a3712b89161c359"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/2yx3bcwinymyvqfkfr0sdgckm3yzy832-python3.12-model-checker-0.9.26","default":true},{"name":"dist","path":"/nix/store/nazww5kygkw0zn4jmdc6dn73lslg62as-python3.12-model-checker-0.9.26-dist"}]}}}