{"name":"boolector","full_name":"boolector","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"SMT solver for fixed-size bit-vectors","license":"MIT","homepage":"https://boolector.github.io/","versions":{"stable":"3.2.3","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/Boolector/boolector/archive/refs/tags/3.2.3.tar.gz","tag":null,"revision":null,"using":null,"checksum":"9862134d33cb3ed0aeb6be3c9b154a4d0a90fd076f46ef97cf872813109cc5d9"}},"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/boolector/blobs/sha256:ea5c2d69f9b71ddae1ed7ea577a2db1a9bcb9f8375c1cacafc11375010496580","sha256":"ea5c2d69f9b71ddae1ed7ea577a2db1a9bcb9f8375c1cacafc11375010496580"},"arm64_ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:b9585271d749d85b3dc26971edcd108575b530b8f6c2887909c621be90d25956","sha256":"b9585271d749d85b3dc26971edcd108575b530b8f6c2887909c621be90d25956"},"arm64_monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:ddf378009b122b86a5d697a4debe16242dacd72f2af3cf9efeeb7ca886933b09","sha256":"ddf378009b122b86a5d697a4debe16242dacd72f2af3cf9efeeb7ca886933b09"},"arm64_big_sur":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:a2110fdd745422308573b1159ddf7fcd13137163ba02854ad154b9e73fe54d29","sha256":"a2110fdd745422308573b1159ddf7fcd13137163ba02854ad154b9e73fe54d29"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:9d44431703ad458ce0eebc51fc4bd7b6965452b25a1127a906984128265a1ba4","sha256":"9d44431703ad458ce0eebc51fc4bd7b6965452b25a1127a906984128265a1ba4"},"ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:93d8c0c0c5ea5692791a408565fb90456eb9eadc8f26780d5cab4955d57eef1c","sha256":"93d8c0c0c5ea5692791a408565fb90456eb9eadc8f26780d5cab4955d57eef1c"},"monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:a7c5e51ec99b10d52b89e0a84e2f806f2d9ccf81376e6451b62c9e44bf0e0788","sha256":"a7c5e51ec99b10d52b89e0a84e2f806f2d9ccf81376e6451b62c9e44bf0e0788"},"big_sur":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:df7daa29597266935e0778c69759b9efd8db571dafe06d465022e34959afd3ee","sha256":"df7daa29597266935e0778c69759b9efd8db571dafe06d465022e34959afd3ee"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/boolector/blobs/sha256:f7ae79fa41592f4aad9aa8f227d3ed1105927d8f6f421c6c0fb591438944fa39","sha256":"f7ae79fa41592f4aad9aa8f227d3ed1105927d8f6f421c6c0fb591438944fa39"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cmake"],"dependencies":[],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":[],"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":"d31b25883b646e4b03955fcdebb96cb51740d35d","ruby_source_path":"Formula/b/boolector.rb","ruby_source_checksum":{"sha256":"97c4a1e098ad6acb36846028e3cbda47d2117b2704c09abe84133c385ab7b746"},"variations":{},"analytics":{"install":{"30d":{"boolector":37},"90d":{"boolector":98},"365d":{"boolector":324}},"install_on_request":{"30d":{"boolector":37},"90d":{"boolector":98},"365d":{"boolector":324}},"build_error":{"30d":{"boolector":0}}},
"generated_date":"2024-05-13"}