{"name":"python311Packages.model-checker","version":"0.3.21","summary":"A hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3305b2b25e4ae4baee872346eae133cf6f611783"},"attr_path":"python311Packages.model-checker"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3305b2b25e4ae4baee872346eae133cf6f611783"},"attr_path":"python311Packages.model-checker"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3305b2b25e4ae4baee872346eae133cf6f611783"},"attr_path":"python311Packages.model-checker"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3305b2b25e4ae4baee872346eae133cf6f611783"},"attr_path":"python311Packages.model-checker"},"last_updated":"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"}]}}}