{"name":"z3","full_name":"z3","tap":"homebrew/core","oldname":null,"oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"High-performance theorem prover","license":"MIT","homepage":"https://github.com/Z3Prover/z3","versions":{"stable":"4.13.0","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.13.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"01bcc61c8362e37bb89fd2430f7e3385e86df7915019bd2ce45de9d9bd934502"},"head":{"url":"https://github.com/Z3Prover/z3.git","branch":"master","using":null}},"revision":0,"version_scheme":0,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/z3/blobs/sha256:d7a6ead5ea667caa7a45e1a623ecd386b09748ed5679b5001dda43365c961e01","sha256":"d7a6ead5ea667caa7a45e1a623ecd386b09748ed5679b5001dda43365c961e01"},"arm64_ventura":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/z3/blobs/sha256:507fedcd8807ff385894fda0116da2b80f85ea538f226e67d052603312db559f","sha256":"507fedcd8807ff385894fda0116da2b80f85ea538f226e67d052603312db559f"},"arm64_monterey":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/z3/blobs/sha256:9154e1b9ca129bff2844cb26e10b9c23fb9737d7e67a61f97cd79fe868d3840b","sha256":"9154e1b9ca129bff2844cb26e10b9c23fb9737d7e67a61f97cd79fe868d3840b"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/z3/blobs/sha256:9aada4bc0021e6f8801ea7a23362f19f4514588fdb8e3b7f8550d29ae7960520","sha256":"9aada4bc0021e6f8801ea7a23362f19f4514588fdb8e3b7f8550d29ae7960520"},"ventura":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/z3/blobs/sha256:7123a10b91659d8f84357d37c037587617fcfbc03888c5bd3693ea4516780f10","sha256":"7123a10b91659d8f84357d37c037587617fcfbc03888c5bd3693ea4516780f10"},"monterey":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/z3/blobs/sha256:c6e139509b1ca4abdebf498a3373546dd14a645c4c56c5ad37092616c6ae2874","sha256":"c6e139509b1ca4abdebf498a3373546dd14a645c4c56c5ad37092616c6ae2874"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/z3/blobs/sha256:d4d079d6f6808a6dd198b84c7de5c7f21d0b0d0c90ed8ccaad4e64199e4e4a41","sha256":"d4d079d6f6808a6dd198b84c7de5c7f21d0b0d0c90ed8ccaad4e64199e4e4a41"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cmake","python@3.12"],"dependencies":[],"test_dependencies":["python@3.12"],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":[],"uses_from_macos_bounds":[],"requirements":[],"conflicts_with":[],"conflicts_with_reasons":[],"link_overwrite":[],"caveats":null,"installed":[],"linked_keg":null,"pinned":false,"outdated":false,"deprecated":false,"deprecation_date":null,"deprecation_reason":null,"disabled":false,"disable_date":null,"disable_reason":null,"post_install_defined":false,"service":null,"tap_git_head":"8e99417b09acd7f3421aa539732f85107f6f64ff","ruby_source_path":"Formula/z/z3.rb","ruby_source_checksum":{"sha256":"c8ed7cf947c3f0403a434c5dfe1ac190897a7d93b6d8f7cb10f5f4984ffe09ed"},"variations":{},"analytics":{"install":{"30d":{"z3":41673,"z3 --HEAD":7},"90d":{"z3":126736,"z3 --HEAD":16},"365d":{"z3":366592,"z3 --HEAD":52}},"install_on_request":{"30d":{"z3":2022,"z3 --HEAD":7},"90d":{"z3":5288,"z3 --HEAD":15},"365d":{"z3":13813,"z3 --HEAD":47}},"build_error":{"30d":{"z3":210,"z3 --HEAD":1}}},
"generated_date":"2024-05-13"}