{"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.11.0","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/diffblue/cbmc.git","tag":"cbmc-6.11.0","revision":"820ff0f555b43fb78e0cd9332e498461bd14244b","using":null,"checksum":null}},"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_golden_gate":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:31704258ba763a6450388869283a9b4efbc518bbea07979be2031b983f248804","sha256":"31704258ba763a6450388869283a9b4efbc518bbea07979be2031b983f248804"},"arm64_tahoe":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:3fb094c69d4a877d89c3471c0c0adff0526220261e593f7ffb6f13d4224129f8","sha256":"3fb094c69d4a877d89c3471c0c0adff0526220261e593f7ffb6f13d4224129f8"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:d5e988a02557886e4e11dee46c3726a2f3d4ba709a58cbf363cca5ee700d5afd","sha256":"d5e988a02557886e4e11dee46c3726a2f3d4ba709a58cbf363cca5ee700d5afd"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:4717be1732386e1b7958ce6f83e0d8043a77e30feab747cf8179230c4696dd82","sha256":"4717be1732386e1b7958ce6f83e0d8043a77e30feab747cf8179230c4696dd82"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:24f77ab6ee97f3b4685a1538c2264f2c7b887f1315ba8b96f4a7f8a3a45f73c2","sha256":"24f77ab6ee97f3b4685a1538c2264f2c7b887f1315ba8b96f4a7f8a3a45f73c2"},"arm64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:2aa5c8b901344d36371aa94a80ec0bd31b0387424f4e7e12a85773ac20b6c184","sha256":"2aa5c8b901344d36371aa94a80ec0bd31b0387424f4e7e12a85773ac20b6c184"},"x86_64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:a188dfd31e82ab5dc7ae792f08bbdbb99317e7dd22102fb286c10e886489a256","sha256":"a188dfd31e82ab5dc7ae792f08bbdbb99317e7dd22102fb286c10e886489a256"}}}},"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_steps":[],"post_install_defined":false,"service":null,"tap_git_head":"be0474426193a477b87d09045dd7e6b4d8efc6cd","ruby_source_path":"Formula/c/cbmc.rb","ruby_source_checksum":{"sha256":"7c6fb2e98ffebb354b7aee352daf500ba024ad79e4f762a6003349e1e2fd7331"},"variations":{},"executables":["cbmc","cprover","crangler","goto-analyzer","goto-cc","goto-diff","goto-gcc","goto-harness","goto-inspect","goto-instrument","goto-ld","goto-synthesizer","janalyzer","jbmc","jdiff","ls_parse.py","symtab2gb"],"analytics":{"install":{"30d":{"cbmc":20},"90d":{"cbmc":132},"365d":{"cbmc":493,"cbmc --HEAD":1}},"install_on_request":{"30d":{"cbmc":20},"90d":{"cbmc":132},"365d":{"cbmc":492,"cbmc --HEAD":1}},"build_error":{"30d":{"cbmc":0}}},
"generated_date":"2026-10-07"}