{"name":"python312Packages.model-checker","version":"0.9.35","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/1a21jfhffv5mgb00yna39ys8imxlmxvz-python3.12-model-checker-0.9.35","default":true},{"name":"dist","path":"/nix/store/1r74s50m1rqf5hif74g2cnsfjilpy2lm-python3.12-model-checker-0.9.35-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/qydyyh2g27fljl7k8jzgzqfamwbdz7rl-python3.12-model-checker-0.9.35","default":true},{"name":"dist","path":"/nix/store/r4i84g62g1xj7ir0ngqw7bdsba625k9v-python3.12-model-checker-0.9.35-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/lx72hg214n3qz5hrlrnq628nsvd2m4p6-python3.12-model-checker-0.9.35","default":true},{"name":"dist","path":"/nix/store/cd9r1r6fgayicrbyfq5j8x6w6pzgyqzw-python3.12-model-checker-0.9.35-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-08-08T08:05:48Z","outputs":[{"name":"out","path":"/nix/store/0na1sk286qr2pkdhbk8xyv3ayjx0yjiw-python3.12-model-checker-0.9.35","default":true},{"name":"dist","path":"/nix/store/v503n16yc13s9lcxr0zjbh38jpplm317-python3.12-model-checker-0.9.35-dist"}]}}}