{"name":"z3","full_name":"z3","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"High-performance theorem prover","license":"MIT","homepage":"https://github.com/Z3Prover/z3","versions":{"stable":"4.15.4","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.15.4.tar.gz","tag":null,"revision":null,"using":null,"checksum":"dae526252cb0585c8c863292ebec84cace4901a014b190a73f14087dd08d252b"},"head":{"url":"https://github.com/Z3Prover/z3.git","branch":"master","using":null}},"revision":0,"version_scheme":0,"compatibility_version":1,"autobump":true,"no_autobump_message":null,"skip_livecheck":false,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_tahoe":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/z3/blobs/sha256:9f57f90f63a0995a9b56b6f4c94a1c29bd8fd9a474e09f78cba7f64aaf25708c","sha256":"9f57f90f63a0995a9b56b6f4c94a1c29bd8fd9a474e09f78cba7f64aaf25708c"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/z3/blobs/sha256:df9a167ac9c51be88180cbe464e09c46315c6145e775ca8da76de4d4e261354c","sha256":"df9a167ac9c51be88180cbe464e09c46315c6145e775ca8da76de4d4e261354c"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/z3/blobs/sha256:734ca95d3bcb87f5c62e27294ea3485698ac160a8bc0cb6eafa68ca73f792ce0","sha256":"734ca95d3bcb87f5c62e27294ea3485698ac160a8bc0cb6eafa68ca73f792ce0"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/z3/blobs/sha256:daa3779a2ee08f218dd714c80ce78e9451b81340c65efee8a1f44f16dee8aa07","sha256":"daa3779a2ee08f218dd714c80ce78e9451b81340c65efee8a1f44f16dee8aa07"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/z3/blobs/sha256:02148c88d3b6adc67f7cb43fc1eb3f8a1a7317838a567e7de95c60cffc4fd208","sha256":"02148c88d3b6adc67f7cb43fc1eb3f8a1a7317838a567e7de95c60cffc4fd208"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/z3/blobs/sha256:aecd2a8e5cc6512f5ad5cc3ba78602236642ac02d4471fc9635383976012236d","sha256":"aecd2a8e5cc6512f5ad5cc3ba78602236642ac02d4471fc9635383976012236d"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cmake","python@3.14"],"dependencies":[],"test_dependencies":["python@3.14"],"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,"deprecation_replacement_formula":null,"deprecation_replacement_cask":null,"deprecate_args":null,"disabled":false,"disable_date":null,"disable_reason":null,"disable_replacement_formula":null,"disable_replacement_cask":null,"disable_args":null,"post_install_defined":false,"service":null,"tap_git_head":"f0c124556c25d1d383ae57335c1e892f34da9e9b","ruby_source_path":"Formula/z/z3.rb","ruby_source_checksum":{"sha256":"556b8cd5dbfa1368312f4657589c2bd4d5f134d982ad0b55db83864ae037c938"},"variations":{},"analytics":{"install":{"30d":{"z3":39249,"z3 --HEAD":5},"90d":{"z3":128015,"z3 --HEAD":6},"365d":{"z3":560652,"z3 --HEAD":69}},"install_on_request":{"30d":{"z3":1011,"z3 --HEAD":3},"90d":{"z3":3344,"z3 --HEAD":4},"365d":{"z3":16950,"z3 --HEAD":65}},"build_error":{"30d":{"z3":106,"z3 --HEAD":1}}},
"generated_date":"2026-04-28"}