{"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.4","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/esbmc/esbmc/archive/refs/tags/v8.4.tar.gz","tag":null,"revision":null,"using":null,"checksum":"9959fef848ffae597adac6fa2d74063f9553b4fcee93ed7cbe8aae3bd667bf91"},"head":{"url":"https://github.com/esbmc/esbmc.git","branch":"master","using":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_tahoe":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/esbmc/blobs/sha256:3af4c03ff17f500a60eea1f8d5da1c30faa0f6e6f0c38f0371b3c7652a1fed4a","sha256":"3af4c03ff17f500a60eea1f8d5da1c30faa0f6e6f0c38f0371b3c7652a1fed4a"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/esbmc/blobs/sha256:32cde20694a0a616eb2d56f406e0d591f04450e2e761a72281ce3067110a2c4a","sha256":"32cde20694a0a616eb2d56f406e0d591f04450e2e761a72281ce3067110a2c4a"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/esbmc/blobs/sha256:7546099124315984f71bd91f1ec806c9df29e496e577a99197930b056081b6ea","sha256":"7546099124315984f71bd91f1ec806c9df29e496e577a99197930b056081b6ea"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/esbmc/blobs/sha256:fe9b699426ce6f7412dea4ca508e6aa4fdd66780559928b27c29a6220a81c09a","sha256":"fe9b699426ce6f7412dea4ca508e6aa4fdd66780559928b27c29a6220a81c09a"},"arm64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/esbmc/blobs/sha256:856d81d31adc463a32286f5dd4142a679926c5f6bb2bfc0c64c9cb8b4afbbef3","sha256":"856d81d31adc463a32286f5dd4142a679926c5f6bb2bfc0c64c9cb8b4afbbef3"},"x86_64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/esbmc/blobs/sha256:8b138269e4f82ba2df1b4b89c7e21cb6a7ebbc07e8d69eae394590cfda09954a","sha256":"8b138269e4f82ba2df1b4b89c7e21cb6a7ebbc07e8d69eae394590cfda09954a"}}}},"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","python@3.14","yaml-cpp","z3"],"test_dependencies":[],"recommended_dependencies":[],"optional_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":"a2e4204294118562fd7d79b6ea4c74dfead70ec9","ruby_source_path":"Formula/e/esbmc.rb","ruby_source_checksum":{"sha256":"cd75ab7c9e10728b1ef9d6db73454a7106f16552958bed535621a714411bf38a"},"variations":{},"executables":["esbmc"],"analytics":{"install":{"30d":{"esbmc":45},"90d":{"esbmc":115},"365d":{"esbmc":115}},"install_on_request":{"30d":{"esbmc":45},"90d":{"esbmc":115},"365d":{"esbmc":115}},"build_error":{"30d":{"esbmc":2}}},
"generated_date":"2026-07-11"}