{"name":"python314Packages.model-checker","version":"1.3.3","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9b9402b959a2276982ddd5ad3652a38b97f7c40b"},"attr_path":"python314Packages.model-checker"},"last_updated":"2026-09-03T10:26:31Z","outputs":[{"name":"out","path":"/nix/store/i2r0hniwq28p64gnw0xfywzwzwnbcv1x-python3.14-model-checker-1.3.3","default":true},{"name":"dist","path":"/nix/store/f3512q0rg5xqxvzdb397ik2wayn83fky-python3.14-model-checker-1.3.3-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9b9402b959a2276982ddd5ad3652a38b97f7c40b"},"attr_path":"python314Packages.model-checker"},"last_updated":"2026-09-03T10:26:31Z","outputs":[{"name":"out","path":"/nix/store/9dkacmb74m1hhl9mn0c7vd8i2misa0rp-python3.14-model-checker-1.3.3","default":true},{"name":"dist","path":"/nix/store/fgkwmnxvddbzzy07p58h4ni7lfvdxhh4-python3.14-model-checker-1.3.3-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9b9402b959a2276982ddd5ad3652a38b97f7c40b"},"attr_path":"python314Packages.model-checker"},"last_updated":"2026-09-03T10:26:31Z","outputs":[{"name":"out","path":"/nix/store/85dsmgq6r37fywzcsnsvqbhm8wrjph8y-python3.14-model-checker-1.3.3","default":true},{"name":"dist","path":"/nix/store/j5hwnvqrb7f95xspj11m9j7f10bcarna-python3.14-model-checker-1.3.3-dist"}]}}}