{"name":"esbmc","full_name":"esbmc","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Efficient SMT-based context-bounded model checker for C, C++, and Python","license":"Apache-2.0","homepage":"https://esbmc.github.io/","versions":{"stable":"8.6","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/esbmc/esbmc/archive/refs/tags/v8.6.tar.gz","tag":null,"revision":null,"using":null,"checksum":"a691bbf63a51da753a24b59027dd603c91bc2e90fcdd1abc042e241453164f5a"},"head":{"url":"https://github.com/esbmc/esbmc.git","branch":"master","using":null}},"patches":[{"strip":"p1","data":true}],"local_patch_checksums":{},"revision":1,"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","url":"https://ghcr.io/v2/homebrew/core/esbmc/blobs/sha256:0020fe66e37d0233a9471d5ac085299dd6bd4bc97de4a3b80f1126e77eb3b8ce","sha256":"0020fe66e37d0233a9471d5ac085299dd6bd4bc97de4a3b80f1126e77eb3b8ce"},"arm64_tahoe":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/esbmc/blobs/sha256:4c28f7a1c1668e0eadee5019308fc8e46388ead31e9039cbe8afe96676655a82","sha256":"4c28f7a1c1668e0eadee5019308fc8e46388ead31e9039cbe8afe96676655a82"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/esbmc/blobs/sha256:8c6dbffd9547418c3651c3b37649e6fbe31f06bcd1b9e20e195de41dc608285a","sha256":"8c6dbffd9547418c3651c3b37649e6fbe31f06bcd1b9e20e195de41dc608285a"},"arm64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/esbmc/blobs/sha256:742b99d2696114f88817909bb03661cc280ad45a81224b20d8653067757b9883","sha256":"742b99d2696114f88817909bb03661cc280ad45a81224b20d8653067757b9883"},"x86_64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/esbmc/blobs/sha256:623987a5773f09c96bd6d89191f10b06fab0c4f58f619e3ab67513a83ece0f2b","sha256":"623987a5773f09c96bd6d89191f10b06fab0c4f58f619e3ab67513a83ece0f2b"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["bison","cmake","immer","nlohmann-json","pkgconf"],"dependencies":["bitwuzla","boost","fmt","gmp","llvm@22","python@3.15","yaml-cpp","z3"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"no_linkage_dependencies":[],"uses_from_macos":[{"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":"89fb488dc741dd97794ee2d6cd57083ceab3b4db","ruby_source_path":"Formula/e/esbmc.rb","ruby_source_checksum":{"sha256":"8ee6549775b8e9cd6e0893045a39ab1895d97b01d5bd66e1798a9d6450c9a512"},"variations":{},"executables":["esbmc"],"analytics":{"install":{"30d":{"esbmc":49},"90d":{"esbmc":168},"365d":{"esbmc":313}},"install_on_request":{"30d":{"esbmc":49},"90d":{"esbmc":168},"365d":{"esbmc":313}},"build_error":{"30d":{"esbmc":0}}},
"generated_date":"2026-10-26"}