{"name":"python313Packages.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":"python313Packages.model-checker"},"last_updated":"2026-09-03T10:26:31Z","outputs":[{"name":"out","path":"/nix/store/2hxvfbzrl85hgxiz0qibhh5lg021zm5z-python3.13-model-checker-1.3.3","default":true},{"name":"dist","path":"/nix/store/v9ii55fk6cc1rk5r9dbgdhy6bgnd3j5j-python3.13-model-checker-1.3.3-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9b9402b959a2276982ddd5ad3652a38b97f7c40b"},"attr_path":"python313Packages.model-checker"},"last_updated":"2026-09-03T10:26:31Z","outputs":[{"name":"out","path":"/nix/store/mpi61pblm1hpfygxfn73sxzd2wl1r1wy-python3.13-model-checker-1.3.3","default":true},{"name":"dist","path":"/nix/store/njsf7xb7g73zbr2whr1q1iick5b44dxr-python3.13-model-checker-1.3.3-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9b9402b959a2276982ddd5ad3652a38b97f7c40b"},"attr_path":"python313Packages.model-checker"},"last_updated":"2026-09-03T10:26:31Z","outputs":[{"name":"out","path":"/nix/store/hk9s67ji3fzizxykwghrdxvblj6svhh2-python3.13-model-checker-1.3.3","default":true},{"name":"dist","path":"/nix/store/2vvc6dx26kk21rryldx2x6b6rak2w2vc-python3.13-model-checker-1.3.3-dist"}]}}}