{"name":"python312Packages.model-checker","version":"0.4.4","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f7207adcc68d9cafa29e3cd252a18743ae512c6a"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/zqiapwnimaj0yv4vb621h6b2xwv96fbv-python3.12-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/38favi3bhdyvpn2b0crhbk583ldp4wh3-python3.12-model-checker-0.4.4-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f7207adcc68d9cafa29e3cd252a18743ae512c6a"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/j13m9v9jlnz818n0dxb45knhlkcvrvcp-python3.12-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/9yfr2xyxjr4jm2gkrgknchr164qykh8b-python3.12-model-checker-0.4.4-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f7207adcc68d9cafa29e3cd252a18743ae512c6a"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/9f46chggjcxrlqrwsdnylna5f2364p54-python3.12-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/qzh1cdk6b9fa75jrzijcfnqfkrjpiqns-python3.12-model-checker-0.4.4-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f7207adcc68d9cafa29e3cd252a18743ae512c6a"},"attr_path":"python312Packages.model-checker"},"last_updated":"2024-06-11T07:07:27Z","outputs":[{"name":"out","path":"/nix/store/515giycqhckj62glqklz5m1yh1vx1qh8-python3.12-model-checker-0.4.4","default":true},{"name":"dist","path":"/nix/store/g37iv5fgff7dzfn74i7p1bhanisc0xd4-python3.12-model-checker-0.4.4-dist"}]}}}