{"name":"python312Packages.model-checker","version":"0.9.19","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed30f8aba41605e3ab46421e3dcb4510ec560ff8"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-05-04T22:22:57Z","outputs":[{"name":"out","path":"/nix/store/3jdhbf13hqriknzd6rnl0c3fn5l71y8a-python3.12-model-checker-0.9.19","default":true},{"name":"dist","path":"/nix/store/059qrlj2in92vg61qihn5mdgv1mdbxfb-python3.12-model-checker-0.9.19-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/nkf4zwhn2srkzl605fx3p2xbfaig71rk-python3.12-model-checker-0.9.19","default":true},{"name":"dist","path":"/nix/store/q1b828x8mxs03pck8xl9gxc2nbrs932r-python3.12-model-checker-0.9.19-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed30f8aba41605e3ab46421e3dcb4510ec560ff8"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-05-04T22:22:57Z","outputs":[{"name":"out","path":"/nix/store/wcq1k4v7p2jf2203arrcb63zhfxhb2b8-python3.12-model-checker-0.9.19","default":true},{"name":"dist","path":"/nix/store/x7va8lls10kf4f3ycds21mii5515m8i4-python3.12-model-checker-0.9.19-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/gl62yz9di4f8880zh9gd1r79cnjmp1d9-python3.12-model-checker-0.9.19","default":true},{"name":"dist","path":"/nix/store/3nahhch0rbpifkc95am02fqqdn47ya0y-python3.12-model-checker-0.9.19-dist"}]}}}