{"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.8.0","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/diffblue/cbmc.git","tag":"cbmc-6.8.0","revision":"cdee49cb1a32c6d6703cebf6ae67161977264ad4","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:ab18612102175e15adcc972b4dffe29aba91ef743c9a0921179d351f93289fdd","sha256":"ab18612102175e15adcc972b4dffe29aba91ef743c9a0921179d351f93289fdd"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:4b3a6ab8492da8f724b04326adaac8d2b48310cd616ebb4cab2d416f2d767a1d","sha256":"4b3a6ab8492da8f724b04326adaac8d2b48310cd616ebb4cab2d416f2d767a1d"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:08181f275b21c4f4f7fba64887be74838059178b589c461a2bac2b1a406e9bf5","sha256":"08181f275b21c4f4f7fba64887be74838059178b589c461a2bac2b1a406e9bf5"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:9121b3cf4e5167aa5f4db82dc79bd81564119e1395a94511626d1c93241f914c","sha256":"9121b3cf4e5167aa5f4db82dc79bd81564119e1395a94511626d1c93241f914c"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:4630714a17550f6e8fd957b7a1bf31ed2d976205688ae627e8bc70006aa50a50","sha256":"4630714a17550f6e8fd957b7a1bf31ed2d976205688ae627e8bc70006aa50a50"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:f3cd7b5b7afd46887bf16333ad49bacd85f4e07d4eb9406577b3afdf22250e67","sha256":"f3cd7b5b7afd46887bf16333ad49bacd85f4e07d4eb9406577b3afdf22250e67"}}}},"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":"48ad12cd4770205ce4eeed7a0dba2ada942f64b4","ruby_source_path":"Formula/c/cbmc.rb","ruby_source_checksum":{"sha256":"c65c4bbfdac3d3a88160f1097dedae917f32b6c0079a8e59c7d41efb96cc93d5"},"variations":{},"analytics":{"install":{"30d":{"cbmc":21},"90d":{"cbmc":65},"365d":{"cbmc":519,"cbmc --HEAD":1}},"install_on_request":{"30d":{"cbmc":20},"90d":{"cbmc":64},"365d":{"cbmc":517,"cbmc --HEAD":1}},"build_error":{"30d":{"cbmc":0}}},
"generated_date":"2026-03-06"}