{"name":"python312Packages.model-checker","version":"0.8.20","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/547ghvh2xwjsra63rakmzc080fk0ypc1-python3.12-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/z3nlhbgn2x0pp0cj8iddf2xc9i190cb4-python3.12-model-checker-0.8.20-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/n0190i1jg0a8n6hmbj6zax798l4zf02n-python3.12-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/w610mbymxk8chi071sfry88dx5qsj1yh-python3.12-model-checker-0.8.20-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/a7mcziby516kw7dmq07zh3chqgxz64lb-python3.12-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/7h5jwdg74a6ahldsnn94yhqb1h2a7k0w-python3.12-model-checker-0.8.20-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b0b4b5f8f621bfe213b8b21694bab52ecfcbf30b"},"attr_path":"python312Packages.model-checker"},"last_updated":"2025-04-07T13:23:10Z","outputs":[{"name":"out","path":"/nix/store/ggw0ai7nh04vya213jb802scg3lv56qi-python3.12-model-checker-0.8.20","default":true},{"name":"dist","path":"/nix/store/1fld5z8f1c2hpk46d4sjv025frb213mx-python3.12-model-checker-0.8.20-dist"}]}}}