{"name":"python313Packages.model-checker","version":"0.8.19","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"74a40410369a1c35ee09b8a1abee6f4acbedc059"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/0xa2xkqmlz25w8x80dwbx9x5h4w4c7yg-python3.13-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/iq972zlxizqnwwapkzh1r0icq538frxr-python3.13-model-checker-0.8.19-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"74a40410369a1c35ee09b8a1abee6f4acbedc059"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/i20v8qgy9fbb65ndv957vjr0wd91h743-python3.13-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/40rnn55ap3ay6i2q851s29q96brrz9m0-python3.13-model-checker-0.8.19-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"74a40410369a1c35ee09b8a1abee6f4acbedc059"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/s22cc95sf38jxd46z76nl0q629139ppi-python3.13-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/kdpsm1yl91mixk0qr9jbm20s8zr81rck-python3.13-model-checker-0.8.19-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"74a40410369a1c35ee09b8a1abee6f4acbedc059"},"attr_path":"python313Packages.model-checker"},"last_updated":"2025-04-06T11:26:02Z","outputs":[{"name":"out","path":"/nix/store/0m7v7gxz8mld8v7v9iy0rh0iywpip2k3-python3.13-model-checker-0.8.19","default":true},{"name":"dist","path":"/nix/store/nivi6ww528b72x27b0f6bq97lwryc6fk-python3.13-model-checker-0.8.19-dist"}]}}}