{"name":"python313Packages.model-checker","version":"1.3.9","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aa48d347080940b8a2b8d2f48228674e280a3514"},"attr_path":"python313Packages.model-checker"},"last_updated":"2026-10-05T09:07:57Z","outputs":[{"name":"out","path":"/nix/store/8nnh0gzfwal0xn703jy89xl5fcb4mj0l-python3.13-model-checker-1.3.9","default":true},{"name":"dist","path":"/nix/store/7r48zimj2sp8lbc79bvhd3zj4kqkp1vr-python3.13-model-checker-1.3.9-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aa48d347080940b8a2b8d2f48228674e280a3514"},"attr_path":"python313Packages.model-checker"},"last_updated":"2026-10-05T09:07:57Z","outputs":[{"name":"out","path":"/nix/store/rbycbrzn641a6d3swfr97nmlwpja75rh-python3.13-model-checker-1.3.9","default":true},{"name":"dist","path":"/nix/store/qz0xbzimlj8qgc9n53v49zg4x5r5pjkx-python3.13-model-checker-1.3.9-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aa48d347080940b8a2b8d2f48228674e280a3514"},"attr_path":"python313Packages.model-checker"},"last_updated":"2026-10-05T09:07:57Z","outputs":[{"name":"out","path":"/nix/store/jyp7mvi7i7yddk1yqicq1chq4d362p2w-python3.13-model-checker-1.3.9","default":true},{"name":"dist","path":"/nix/store/fvzc94lqna19adjjwc5f73klsi3b1pyw-python3.13-model-checker-1.3.9-dist"}]}}}