{"name":"python313Packages.model-checker","version":"0.9.28","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b74a30dbc0a72e20df07d43109339f780b439291"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/43ba3qzyj2jy4v5zakh9l3a282y2j1cd-python3.13-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/pz1p61havbwh8wj170kbklpwnx6s5fzn-python3.13-model-checker-0.9.28-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b74a30dbc0a72e20df07d43109339f780b439291"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/sk9ys1amskms58mw7d1v0imsf58gv439-python3.13-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/iwx3i5lvc5zbw9vgg0zlp4zsmqfz4dad-python3.13-model-checker-0.9.28-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b74a30dbc0a72e20df07d43109339f780b439291"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/vn2wb1cx6zlfdhiwabr1kzlv1vmkziq2-python3.13-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/1scnxn0min08vl48knb61gb8mx8sv95n-python3.13-model-checker-0.9.28-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b74a30dbc0a72e20df07d43109339f780b439291"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-07-24T15:00:16Z","outputs":[{"name":"out","path":"/nix/store/l7h2ka09jk0y9jyqqw2iy4rmjs98cmdn-python3.13-model-checker-0.9.28","default":true},{"name":"dist","path":"/nix/store/kc2kc90v298p4bql0qg8w06m5k8z5aq9-python3.13-model-checker-0.9.28-dist"}]}}}