{"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.0","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/bitwuzla/bitwuzla/archive/refs/tags/0.9.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"e15420eaaef586c0d02d4b46cf3bdf203ba2511147b0decab99a9df9c9f115ca"}},"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:1aefec513dad32a1fa2276294090522577a32bb2423fe07574099d972652488b","sha256":"1aefec513dad32a1fa2276294090522577a32bb2423fe07574099d972652488b"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/bitwuzla/blobs/sha256:56117956505409a4b853ce4d3feda40a26373bfe3ad615da607dbb6e6d79f0dc","sha256":"56117956505409a4b853ce4d3feda40a26373bfe3ad615da607dbb6e6d79f0dc"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/bitwuzla/blobs/sha256:4e5aa34b585af95119fe5e4909efc00abc3cb390dda43d23ba5b81fb2160fb13","sha256":"4e5aa34b585af95119fe5e4909efc00abc3cb390dda43d23ba5b81fb2160fb13"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/bitwuzla/blobs/sha256:f11a33d62af85cd1d026e685466c793bafa7e0610e889e8342963aa9d21493e3","sha256":"f11a33d62af85cd1d026e685466c793bafa7e0610e889e8342963aa9d21493e3"},"arm64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/bitwuzla/blobs/sha256:8347a56e18adc32eef4d53e6ae3f3e7e046ff9aa592fe380c051471f5f6bc56b","sha256":"8347a56e18adc32eef4d53e6ae3f3e7e046ff9aa592fe380c051471f5f6bc56b"},"x86_64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/bitwuzla/blobs/sha256:3de69500d8b2cbc2ee2c85a0a07e4be5aade0bd1b315926d3b83641f620d6c32","sha256":"3de69500d8b2cbc2ee2c85a0a07e4be5aade0bd1b315926d3b83641f620d6c32"}}}},"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_defined":false,"service":null,"tap_git_head":"f0c124556c25d1d383ae57335c1e892f34da9e9b","ruby_source_path":"Formula/b/bitwuzla.rb","ruby_source_checksum":{"sha256":"c7f517462544c1e79d021dab215af3000fdb02b53a4b00fcacf076e7bdfa490a"},"variations":{},"analytics":{"install":{"30d":{"bitwuzla":11,"bitwuzla --HEAD":2},"90d":{"bitwuzla":44,"bitwuzla --HEAD":2},"365d":{"bitwuzla":44,"bitwuzla --HEAD":2}},"install_on_request":{"30d":{"bitwuzla":11,"bitwuzla --HEAD":2},"90d":{"bitwuzla":44,"bitwuzla --HEAD":2},"365d":{"bitwuzla":44,"bitwuzla --HEAD":2}},"build_error":{"30d":{"bitwuzla":0}}},
"generated_date":"2026-04-28"}