{"name":"python312Packages.model-checker","version":"0.4.9","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b60793b86201040d9dee019a05089a9150d08b5b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/90bbhlfy9lsd2p1fz4xaqnvm7v6v96l3-python3.12-model-checker-0.4.9","default":true},{"name":"dist","path":"/nix/store/fs5ixgn2rrq6kjy83z42im0az7y4q1s8-python3.12-model-checker-0.4.9-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b60793b86201040d9dee019a05089a9150d08b5b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/bn4dniih85sxcsggm601zw7lqcd93xhd-python3.12-model-checker-0.4.9","default":true},{"name":"dist","path":"/nix/store/zp89w47mpihgknm6m00vrmhbbgha0r3w-python3.12-model-checker-0.4.9-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b60793b86201040d9dee019a05089a9150d08b5b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/s1grdyvq7rvrhhrrr75z8z0xb9ck69y0-python3.12-model-checker-0.4.9","default":true},{"name":"dist","path":"/nix/store/ls9q96zh30rm0s770ff4wbw5zp9lvc2y-python3.12-model-checker-0.4.9-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b60793b86201040d9dee019a05089a9150d08b5b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/9qbvyb1fpp7gdfk0xhmvvjqmyai9rvk3-python3.12-model-checker-0.4.9","default":true},{"name":"dist","path":"/nix/store/vqahbsl44kxxd44h92rffbrk0ms4z130-python3.12-model-checker-0.4.9-dist"}]}}}