{"name":"python314Packages.model-checker","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","description":"","homepage_url":"https://pypi.org/project/model-checker/","license":"MIT","attribute_paths":["python314Packages.model-checker"],"releases":[{"version":"1.3.9","last_updated":"2026-09-13T01:58:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.model-checker","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/6zdhc13sfwgk8ij62dvmabw8m0d9g92x-python3.14-model-checker-1.3.9","default":true},{"name":"dist","path":"/nix/store/bl120h3pyyfd06hnswga4588grbxyvnr-python3.14-model-checker-1.3.9-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.model-checker","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/yf9iywmfzcn9wkh3cmxf8n05wqdz2dv8-python3.14-model-checker-1.3.9","default":true},{"name":"dist","path":"/nix/store/06yb7ncrgzli7vcbajj26jh666aq91x5-python3.14-model-checker-1.3.9-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.model-checker","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/nwdfiinx6bzwcmzxngnd7iqdk2dsbbqy-python3.14-model-checker-1.3.9","default":true},{"name":"dist","path":"/nix/store/ggh10n37dnr80iqi6cwycbmxw9z70hj9-python3.14-model-checker-1.3.9-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.3.3","last_updated":"2026-08-27T07:16:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.model-checker","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/i2r0hniwq28p64gnw0xfywzwzwnbcv1x-python3.14-model-checker-1.3.3","default":true},{"name":"dist","path":"/nix/store/f3512q0rg5xqxvzdb397ik2wayn83fky-python3.14-model-checker-1.3.3-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.model-checker","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/9dkacmb74m1hhl9mn0c7vd8i2misa0rp-python3.14-model-checker-1.3.3","default":true},{"name":"dist","path":"/nix/store/fgkwmnxvddbzzy07p58h4ni7lfvdxhh4-python3.14-model-checker-1.3.3-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.model-checker","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/85dsmgq6r37fywzcsnsvqbhm8wrjph8y-python3.14-model-checker-1.3.3","default":true},{"name":"dist","path":"/nix/store/j5hwnvqrb7f95xspj11m9j7f10bcarna-python3.14-model-checker-1.3.3-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.2.12","last_updated":"2026-08-12T11:28:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.model-checker","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/05wynjwh4z6yj333hsbq5zkz20s7pjsb-python3.14-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/m6x8i08ydgkqwdnwr6ccwahkvpmhxsl0-python3.14-model-checker-1.2.12-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.model-checker","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/7n4fjrc5l3v5k7ypnwxsjl0myr5ddxs4-python3.14-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/k0ddflnk427l3ysag8dhbcmlg6ancgiq-python3.14-model-checker-1.2.12-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.model-checker","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/h19m1v4j3krbm7k10i0myn11vhdyav24-python3.14-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/b8223fjvk97sg78806qdznqx3ji82gf2-python3.14-model-checker-1.2.12-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.model-checker","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/5vmvhv3pr7fvgwkz72bckdl8048v15sk-python3.14-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/mrbx5qmraylcl8pf2dc5p1zffpmj9cy0-python3.14-model-checker-1.2.12-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}