{"name":"python311Packages.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":["python311Packages.model-checker"],"releases":[{"version":"0.5.6","last_updated":"2024-12-03T12:40:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python311Packages.model-checker","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/5kf3xgwg2xm9z41gcqyza7zhl6f0rjwb-python3.11-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/m47dynhn6p8xxxmai6lqcnvz6b9y3266-python3.11-model-checker-0.5.6-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python311Packages.model-checker","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/09an0mmrip2rim6x33p5xf9qlp9zx1v2-python3.11-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/ylyd22zbdjyjl7akh8qx367sf0hr6a5h-python3.11-model-checker-0.5.6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python311Packages.model-checker","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/f34wch0f9ifzw494f8j6sjs2zcfw30xb-python3.11-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/kwp1f7535vlb6p87i7aws9b2mc314cnj-python3.11-model-checker-0.5.6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python311Packages.model-checker","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/hb5rwj7vgvhbacrzlq9pv127w4vnx7aa-python3.11-model-checker-0.5.6","default":true},{"name":"dist","path":"/nix/store/pmmaf01rns3q588s0izcp712qq9ccxnd-python3.11-model-checker-0.5.6-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.4.12","last_updated":"2024-08-14T11:41:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python311Packages.model-checker","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/4l5nrisgsf4km3klxi6gaz2km395b4n5-python3.11-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/k2f42f16z4nbp3p6igddjy1zpvljf2if-python3.11-model-checker-0.4.12-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python311Packages.model-checker","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/gis61f85rs6nww2nyy4ljsmj5n4cvwwp-python3.11-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/9wa5b2v8rgyi5qxvq9lz076amrpmyp9d-python3.11-model-checker-0.4.12-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python311Packages.model-checker","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/3vqi4b0km5k65flqhylx3wlxh8x425sb-python3.11-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/30jpfhsgnmjxv9z59v499phx4qc7xj5y-python3.11-model-checker-0.4.12-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python311Packages.model-checker","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/y47z78iwhb0h2jvs165kwahqd9sbmfx1-python3.11-model-checker-0.4.12","default":true},{"name":"dist","path":"/nix/store/g3zn7vqkbszsc71v286vy6v178n32irk-python3.11-model-checker-0.4.12-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.4.9","last_updated":"2024-07-07T07:43:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python311Packages.model-checker","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/g7ncmrb746qnjhdvvzn30grd657hcjl3-python3.11-model-checker-0.4.9","default":true},{"name":"dist","path":"/nix/store/pj6npjs9wzjwbpq3wx2kky9f8h2jrxxn-python3.11-model-checker-0.4.9-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python311Packages.model-checker","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/m0fzygph72rcdkm2mrlgnv2fhdy54mwh-python3.11-model-checker-0.4.9","default":true},{"name":"dist","path":"/nix/store/rp8sbfhlf5w8pdffcxmb7kynj5rmdhvi-python3.11-model-checker-0.4.9-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python311Packages.model-checker","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/9rb4czcnbx9xl169h31v3l1q0mz4d9ni-python3.11-model-checker-0.4.9","default":true},{"name":"dist","path":"/nix/store/fd19q9k9ad81xfxrxr0z0csfhsn82706-python3.11-model-checker-0.4.9-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python311Packages.model-checker","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/ma2hn6njzx9qgsf94dx8zv4l01fhjpcp-python3.11-model-checker-0.4.9","default":true},{"name":"dist","path":"/nix/store/0l8ag94vbi7j71wwi8as19s97h21jc0i-python3.11-model-checker-0.4.9-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.4.4","last_updated":"2024-06-11T07:07:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python311Packages.model-checker","commit_hash":"f7207adcc68d9cafa29e3cd252a18743ae512c6a","date":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/ajw46fnpa27mfz5k46297acd797m2w8g-python3.11-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/2zg0rzkr71aamv300z970f7hyma4wwg7-python3.11-model-checker-0.4.4-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python311Packages.model-checker","commit_hash":"f7207adcc68d9cafa29e3cd252a18743ae512c6a","date":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/8cryw2zcrib22gifszq7cbnfflg5lq02-python3.11-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/vxj6hmibxhfw6c6vjdqgmz8xkpyhqmm7-python3.11-model-checker-0.4.4-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python311Packages.model-checker","commit_hash":"f7207adcc68d9cafa29e3cd252a18743ae512c6a","date":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/0xdgr1v12bviibk2mxmi43id6d9ip23g-python3.11-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/2kvvi9lvxw29gla4sn8j6wybm9zdbfzq-python3.11-model-checker-0.4.4-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python311Packages.model-checker","commit_hash":"f7207adcc68d9cafa29e3cd252a18743ae512c6a","date":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/hpk6d94fihr7f915n1n7g82zish3nzb1-python3.11-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/vjcg9wbypsl3nbhla5f3zdpxc2vzkx8m-python3.11-model-checker-0.4.4-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.3.21","last_updated":"2024-05-23T08:10:22Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python311Packages.model-checker","commit_hash":"3305b2b25e4ae4baee872346eae133cf6f611783","date":"2024-05-23T08:10:22Z","outputs":[{"name":"out","path":"/nix/store/rjwv1kbcrzv71m900r1qwskcninl9vk0-python3.11-model-checker-0.3.21","default":true},{"name":"dist","path":"/nix/store/bwxzh6ppk9r57ys2xmgy2ymj64ry00b6-python3.11-model-checker-0.3.21-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python311Packages.model-checker","commit_hash":"3305b2b25e4ae4baee872346eae133cf6f611783","date":"2024-05-23T08:10:22Z","outputs":[{"name":"out","path":"/nix/store/a2whrj4dx8gzrwcmxf0bcq6w4dki2x7w-python3.11-model-checker-0.3.21","default":true},{"name":"dist","path":"/nix/store/28wbslrvxnnlxwxazpl3k7ysllj50l1j-python3.11-model-checker-0.3.21-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python311Packages.model-checker","commit_hash":"3305b2b25e4ae4baee872346eae133cf6f611783","date":"2024-05-23T08:10:22Z","outputs":[{"name":"out","path":"/nix/store/kxs21v234glbmhh96jijbpjdimswym9c-python3.11-model-checker-0.3.21","default":true},{"name":"dist","path":"/nix/store/ppz5ldaq4b5x9mwnmq5gzdlvrdqm0967-python3.11-model-checker-0.3.21-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python311Packages.model-checker","commit_hash":"3305b2b25e4ae4baee872346eae133cf6f611783","date":"2024-05-23T08:10:22Z","outputs":[{"name":"out","path":"/nix/store/v9hzhc1ibrfqvjb58427hfhvx6yn63g8-python3.11-model-checker-0.3.21","default":true},{"name":"dist","path":"/nix/store/jybmsc6hix4az929p5spnhjz4n1b2c0n-python3.11-model-checker-0.3.21-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}