{"name":"boolector","full_name":"boolector","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"SMT solver for fixed-size bit-vectors","license":"MIT","homepage":"https://boolector.github.io/","versions":{"stable":"3.2.4","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/Boolector/boolector/archive/refs/tags/3.2.4.tar.gz","tag":null,"revision":null,"using":null,"checksum":"249c6dbf4e52ea6e8df1ddf7965d47f5c30f2c14905dce9b8f411756b05878bf"}},"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_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:c36e9fe92bb625ab45e83a8b889a4f29264b4a6dca0b5da3e72c133724b6ddd2","sha256":"c36e9fe92bb625ab45e83a8b889a4f29264b4a6dca0b5da3e72c133724b6ddd2"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:eb34a8aa518c75108be45137f5f72401f2a429d5c2aa5485e4addf5f9b7e2397","sha256":"eb34a8aa518c75108be45137f5f72401f2a429d5c2aa5485e4addf5f9b7e2397"},"arm64_ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:a1cc2c76b073b53af089a7f14191ffaf3d2f5cc72946ad10456e56b4c05c24cb","sha256":"a1cc2c76b073b53af089a7f14191ffaf3d2f5cc72946ad10456e56b4c05c24cb"},"arm64_monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:59043051dc8c304152d395edc3d3460af08a95922fbc0bb7014a0041be9813aa","sha256":"59043051dc8c304152d395edc3d3460af08a95922fbc0bb7014a0041be9813aa"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:4a4617f2272b60e1abed3faa99242423bdae8d761d508abe457b68487f91a030","sha256":"4a4617f2272b60e1abed3faa99242423bdae8d761d508abe457b68487f91a030"},"ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:9c19e47efd028a1a3104a53a1102d30ebc239828b5756461e2a7df222c1ee98d","sha256":"9c19e47efd028a1a3104a53a1102d30ebc239828b5756461e2a7df222c1ee98d"},"monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:7b93dcb7a6974662f62d5bd7b24138117d80d474ca82c3eca2ba42d138040631","sha256":"7b93dcb7a6974662f62d5bd7b24138117d80d474ca82c3eca2ba42d138040631"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:d6312b85c8f97aafbe24c940186b4fb2e12990ca54e93fe5edf29401b7966081","sha256":"d6312b85c8f97aafbe24c940186b4fb2e12990ca54e93fe5edf29401b7966081"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:4745395152455d49e3833ee69624a437e36fba98caf9d1d57f0c168d3e9034ca","sha256":"4745395152455d49e3833ee69624a437e36fba98caf9d1d57f0c168d3e9034ca"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cmake"],"dependencies":[],"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":true,"deprecation_date":"2024-08-24","deprecation_reason":"repo_archived","deprecation_replacement_formula":null,"deprecation_replacement_cask":null,"deprecate_args":{"date":"2024-08-24","because":"repo_archived","replacement_formula":null,"replacement_cask":null},"disabled":true,"disable_date":"2025-08-24","disable_reason":"repo_archived","disable_replacement_formula":"bitwuzla","disable_replacement_cask":null,"disable_args":{"date":"2025-08-24","because":"repo_archived","replacement_formula":"bitwuzla","replacement_cask":null},"post_install_defined":false,"service":null,"tap_git_head":"f0c124556c25d1d383ae57335c1e892f34da9e9b","ruby_source_path":"Formula/b/boolector.rb","ruby_source_checksum":{"sha256":"bc382ad84dfcafbf440f9543af6db755cd098b5734deb9aeb58bc127fa4758d5"},"variations":{},"analytics":{"install":{"30d":{"boolector":8},"90d":{"boolector":21},"365d":{"boolector":69}},"install_on_request":{"30d":{"boolector":8},"90d":{"boolector":21},"365d":{"boolector":69}},"build_error":{"30d":{"boolector":0}}},
"generated_date":"2026-04-28"}