{"name":"cbmc","full_name":"cbmc","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"C Bounded Model Checker","license":"BSD-4-Clause","homepage":"https://www.cprover.org/cbmc/","versions":{"stable":"6.9.0","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/diffblue/cbmc.git","tag":"cbmc-6.9.0","revision":"0656298e0d023347862ada3da078c0447943f761","using":null,"checksum":null}},"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_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:88c96469270fa1ee0452d1eec6cfb8dfbf94dd9eab03b4dfa417dbec8d1159df","sha256":"88c96469270fa1ee0452d1eec6cfb8dfbf94dd9eab03b4dfa417dbec8d1159df"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:740bcdbfc1e87a78cbd4673e6dc9dfb87faeb8401686d11943d09e86843a9402","sha256":"740bcdbfc1e87a78cbd4673e6dc9dfb87faeb8401686d11943d09e86843a9402"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:311dc85117244dc3fc2bb567d6bdd8d36dbd8dff1bd2f3959546b85224c9e422","sha256":"311dc85117244dc3fc2bb567d6bdd8d36dbd8dff1bd2f3959546b85224c9e422"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:93bda8326f842d975726f847d510d41c16987b666987545e8ac0d3989cfbfc1e","sha256":"93bda8326f842d975726f847d510d41c16987b666987545e8ac0d3989cfbfc1e"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:41345904385da8b00248054e5e23e442ef5d058e8cae0f2a3f54c457efb00444","sha256":"41345904385da8b00248054e5e23e442ef5d058e8cae0f2a3f54c457efb00444"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:effa07c230cbecdaa6108bb10a6667312c6432b93511f2e5e792d3f7d5903c71","sha256":"effa07c230cbecdaa6108bb10a6667312c6432b93511f2e5e792d3f7d5903c71"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cmake","maven","openjdk@21","rust"],"dependencies":[],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":[{"bison":"build"},{"flex":"build"}],"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/c/cbmc.rb","ruby_source_checksum":{"sha256":"d2d6fc68bb4996bae979922112a071c3bf5768cfbfcd38361a82ec436a5005ed"},"variations":{},"analytics":{"install":{"30d":{"cbmc":54},"90d":{"cbmc":99},"365d":{"cbmc":507,"cbmc --HEAD":1}},"install_on_request":{"30d":{"cbmc":54},"90d":{"cbmc":98},"365d":{"cbmc":505,"cbmc --HEAD":1}},"build_error":{"30d":{"cbmc":0}}},
"generated_date":"2026-04-28"}