{"name":"python314Packages.model-checker","version":"1.2.12","summary":"Hyperintensional theorem prover for counterfactual conditionals and modal operators","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8be7bd0c83f12e2e3bbba07c9044d6fed9e66f7f"},"attr_path":"python314Packages.model-checker"},"last_updated":"2026-08-14T15:04:01Z","outputs":[{"name":"out","path":"/nix/store/05wynjwh4z6yj333hsbq5zkz20s7pjsb-python3.14-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/m6x8i08ydgkqwdnwr6ccwahkvpmhxsl0-python3.14-model-checker-1.2.12-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8be7bd0c83f12e2e3bbba07c9044d6fed9e66f7f"},"attr_path":"python314Packages.model-checker"},"last_updated":"2026-08-14T15:04:01Z","outputs":[{"name":"out","path":"/nix/store/7n4fjrc5l3v5k7ypnwxsjl0myr5ddxs4-python3.14-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/k0ddflnk427l3ysag8dhbcmlg6ancgiq-python3.14-model-checker-1.2.12-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"python314Packages.model-checker"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/h19m1v4j3krbm7k10i0myn11vhdyav24-python3.14-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/b8223fjvk97sg78806qdznqx3ji82gf2-python3.14-model-checker-1.2.12-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8be7bd0c83f12e2e3bbba07c9044d6fed9e66f7f"},"attr_path":"python314Packages.model-checker"},"last_updated":"2026-08-14T15:04:01Z","outputs":[{"name":"out","path":"/nix/store/5vmvhv3pr7fvgwkz72bckdl8048v15sk-python3.14-model-checker-1.2.12","default":true},{"name":"dist","path":"/nix/store/mrbx5qmraylcl8pf2dc5p1zffpmj9cy0-python3.14-model-checker-1.2.12-dist"}]}}}