{"name":"python313Packages.model-checker","version":"0.9.20","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/bbx39z0a0wllg52qzyds9n283jahwhll-python3.13-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/vj55y9vmh8ra7mvq5619capmwbc55y1g-python3.13-model-checker-0.9.20-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/njqbx7d1p9q25gab8sjyn6ajpf487wwl-python3.13-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/c6q07bjvbbb7cp49izgs4f5kyq91a0bf-python3.13-model-checker-0.9.20-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/scbgnjpssdbihxifcmiyxwip9lzf8k17-python3.13-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/ipx5wk45lkmg3138jgvg0wrjmqn9rkj6-python3.13-model-checker-0.9.20-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/mlag3nyz2624dcjz1wr5b62r8z2s069b-python3.13-model-checker-0.9.20","default":true},{"name":"dist","path":"/nix/store/qqp4f326cc81bqllhc5gvpxslnv8k1k4-python3.13-model-checker-0.9.20-dist"}]}}}