{"name":"python312Packages.model-checker","version":"0.9.18","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"29335f23bea5e34228349ea739f31ee79e267b88"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-28T01:45:31Z","outputs":[{"name":"out","path":"/nix/store/2ymm2q9h4hisiz5yfvfd67kv9yhr5h9q-python3.12-model-checker-0.9.18","default":true},{"name":"dist","path":"/nix/store/2rbxlp89pkzwyw901jgdapns57v9z1d9-python3.12-model-checker-0.9.18-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"29335f23bea5e34228349ea739f31ee79e267b88"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-28T01:45:31Z","outputs":[{"name":"out","path":"/nix/store/l4nrmpawddgjwwifdxz38zfa3kxn9yxv-python3.12-model-checker-0.9.18","default":true},{"name":"dist","path":"/nix/store/ky5m6xg41ziyrb53rzvkbx84k1rrvv48-python3.12-model-checker-0.9.18-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"29335f23bea5e34228349ea739f31ee79e267b88"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-28T01:45:31Z","outputs":[{"name":"out","path":"/nix/store/k185h1qnp3s1bz6qdvq1jvksf8sh4rs1-python3.12-model-checker-0.9.18","default":true},{"name":"dist","path":"/nix/store/s3i638vc65kzbbz0ykdj4d3f1jjm0fmw-python3.12-model-checker-0.9.18-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"29335f23bea5e34228349ea739f31ee79e267b88"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-28T01:45:31Z","outputs":[{"name":"out","path":"/nix/store/9a7s1mk44zxq295h6nvl5b21ki0xwc7h-python3.12-model-checker-0.9.18","default":true},{"name":"dist","path":"/nix/store/cx36kkzcja3cixzshjp92sb6nhpkjgvn-python3.12-model-checker-0.9.18-dist"}]}}}