{"name":"cbmc","full_name":"cbmc","tap":"homebrew/core","oldname":null,"oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"C Bounded Model Checker","license":"BSD-4-Clause","homepage":"https://www.cprover.org/cbmc/","versions":{"stable":"5.95.1","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/diffblue/cbmc.git","tag":"cbmc-5.95.1","revision":"731338d5d82ac86fc447015e0bd24cdf7a74c442","using":null,"checksum":null}},"revision":0,"version_scheme":0,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:4a93a74b6ceacd62465a7c0c27a8451c775e8a69923a2b9388aaa0a51257b249","sha256":"4a93a74b6ceacd62465a7c0c27a8451c775e8a69923a2b9388aaa0a51257b249"},"arm64_ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:c625b851133a25efc6d180cee609e29eaf85984f831f97034906487fa6c937ee","sha256":"c625b851133a25efc6d180cee609e29eaf85984f831f97034906487fa6c937ee"},"arm64_monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:512b4480b1068442f73548499c5ba0f58c3db012dffda2a72a7f3a3ac57f83d9","sha256":"512b4480b1068442f73548499c5ba0f58c3db012dffda2a72a7f3a3ac57f83d9"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:ba108b3ea344f31e8a5b78080be1987f9bc19af1abaf1818d5ae5fa82f912e58","sha256":"ba108b3ea344f31e8a5b78080be1987f9bc19af1abaf1818d5ae5fa82f912e58"},"ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:bc1e610ac17d864e3a400638bed661252ac2f027bb7b29e25950ee10571dcee0","sha256":"bc1e610ac17d864e3a400638bed661252ac2f027bb7b29e25950ee10571dcee0"},"monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:2a2ca2db14350b20b4eaa012eda5cc147abc6f6253833bd030a202658ffea7bb","sha256":"2a2ca2db14350b20b4eaa012eda5cc147abc6f6253833bd030a202658ffea7bb"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cbmc/blobs/sha256:635f7f7b776288dbec70f66b3665393a5fe03e5ea8bf0ddeb372dfff25f1d6f2","sha256":"635f7f7b776288dbec70f66b3665393a5fe03e5ea8bf0ddeb372dfff25f1d6f2"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cmake","maven","openjdk","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,"disabled":false,"disable_date":null,"disable_reason":null,"post_install_defined":false,"service":null,"tap_git_head":"bb7d3c7030b1711f4b7eabf91fc8dc616c40a65f","ruby_source_path":"Formula/c/cbmc.rb","ruby_source_checksum":{"sha256":"4f366c13e3000b20f08dba6992d6309e5c2d955972850820c83c0608c1561c0f"},"variations":{},"analytics":{"install":{"30d":{"cbmc":69},"90d":{"cbmc":133},"365d":{"cbmc":800}},"install_on_request":{"30d":{"cbmc":69},"90d":{"cbmc":133},"365d":{"cbmc":800}},"build_error":{"30d":{"cbmc":0}}},
"generated_date":"2024-05-12"}