{"name":"bitwuzla","full_name":"bitwuzla","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions","license":"MIT","homepage":"https://bitwuzla.github.io","versions":{"stable":"0.9.1","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/bitwuzla/bitwuzla/archive/refs/tags/0.9.1.tar.gz","tag":null,"revision":null,"using":null,"checksum":"42707f38900a20bb18108e426ba667560d1fd2ccce0d4f75aa60439b546488b4"}},"patches":[],"revision":0,"version_scheme":0,"compatibility_version":null,"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/bitwuzla/blobs/sha256:e41762ff9c458e975a603d629d80a2fc7d16706be2a75bf84bea3da723acd36d","sha256":"e41762ff9c458e975a603d629d80a2fc7d16706be2a75bf84bea3da723acd36d"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/bitwuzla/blobs/sha256:6c21172734c5fc4f840f4645001daa0372bb916b7ecf03cf2a71bb5f4b5106be","sha256":"6c21172734c5fc4f840f4645001daa0372bb916b7ecf03cf2a71bb5f4b5106be"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/bitwuzla/blobs/sha256:f0e8fc8e07781e375cbc121c8065964d9d007adcf25770003f1622468ce2e644","sha256":"f0e8fc8e07781e375cbc121c8065964d9d007adcf25770003f1622468ce2e644"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/bitwuzla/blobs/sha256:d2718f108e8027774c108021fb006069a3153b2356e9f2cf16938661891775fb","sha256":"d2718f108e8027774c108021fb006069a3153b2356e9f2cf16938661891775fb"},"arm64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/bitwuzla/blobs/sha256:7e52048ed6be0632426a33eb8bb932a46bcf65c7e79dd0daf3f2b7207836375d","sha256":"7e52048ed6be0632426a33eb8bb932a46bcf65c7e79dd0daf3f2b7207836375d"},"x86_64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/bitwuzla/blobs/sha256:9a31b954433598ee45f3eb15f04ace680ab97113f44f1ab61c28cb406276a0f5","sha256":"9a31b954433598ee45f3eb15f04ace680ab97113f44f1ab61c28cb406276a0f5"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["meson","ninja","pkgconf"],"dependencies":["gmp","mpfr"],"test_dependencies":[],"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_steps":[],"post_install_defined":false,"service":null,"tap_git_head":"2e84f2ff6500f17d1e5246bc35f5b83349fa0e7e","ruby_source_path":"Formula/b/bitwuzla.rb","ruby_source_checksum":{"sha256":"83144dd103a2ed6a97a3424b9dce95224b658935ad259baad14b18047d526ed8"},"variations":{},"executables":["bitwuzla"],"analytics":{"install":{"30d":{"bitwuzla":28},"90d":{"bitwuzla":59,"bitwuzla --HEAD":2},"365d":{"bitwuzla":76,"bitwuzla --HEAD":2}},"install_on_request":{"30d":{"bitwuzla":28},"90d":{"bitwuzla":59,"bitwuzla --HEAD":2},"365d":{"bitwuzla":76,"bitwuzla --HEAD":2}},"build_error":{"30d":{"bitwuzla":0}}},
"generated_date":"2026-06-07"}