{"name":"cadical","full_name":"cadical","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Clean and efficient state-of-the-art SAT solver","license":"MIT","homepage":"https://fmv.jku.at/cadical/","versions":{"stable":"3.0.1","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/arminbiere/cadical/archive/refs/tags/rel-3.0.1.tar.gz","tag":null,"revision":null,"using":null,"checksum":"0a8ea563b5a25f5aa064634814edab45cc0e45111ea0f5d412a565f806fd7e11"}},"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/cadical/blobs/sha256:b601dd2d9a2ad7f7ac6586492eae8c37c43f7048b9bae4c545f737b9dc3c7c14","sha256":"b601dd2d9a2ad7f7ac6586492eae8c37c43f7048b9bae4c545f737b9dc3c7c14"},"arm64_tahoe":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:77962818debd60f5d12591b3dc589f5ceec70f7fc3fca65b69cc145ba06aa76e","sha256":"77962818debd60f5d12591b3dc589f5ceec70f7fc3fca65b69cc145ba06aa76e"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:ecf44191d1ed10a61bb47ce009d91e520abc637fbcf3608004cc7cf463fe2271","sha256":"ecf44191d1ed10a61bb47ce009d91e520abc637fbcf3608004cc7cf463fe2271"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:5632faabd6d7090f603752a52eea7ace1cc7f101694eef8f7a4eb8de66803d35","sha256":"5632faabd6d7090f603752a52eea7ace1cc7f101694eef8f7a4eb8de66803d35"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:dd05c41f479807a91b72b33fc3f120d40d25e416e8f5adbbd988ee462865a85e","sha256":"dd05c41f479807a91b72b33fc3f120d40d25e416e8f5adbbd988ee462865a85e"},"arm64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:d3c1c53581a8f3f802a062318f9a4b23e503fa0bf9846040d69dac729ca421c5","sha256":"d3c1c53581a8f3f802a062318f9a4b23e503fa0bf9846040d69dac729ca421c5"},"x86_64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:cef0be1bad5d61be121bd000090bf1639d2ac89279892278312b647742c38625","sha256":"cef0be1bad5d61be121bd000090bf1639d2ac89279892278312b647742c38625"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":[],"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,"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":"458e4d0e6c63014a4f4c62aa637841a93b347855","ruby_source_path":"Formula/c/cadical.rb","ruby_source_checksum":{"sha256":"8c1a61c3fd5f96fa4da3bfe840ab7055bf5ac211c02bcec4ceb9ed5edbb5e8e7"},"variations":{},"executables":["cadical"],"analytics":{"install":{"30d":{"cadical":23},"90d":{"cadical":144},"365d":{"cadical":390}},"install_on_request":{"30d":{"cadical":19},"90d":{"cadical":132},"365d":{"cadical":311}},"build_error":{"30d":{"cadical":0}}},
"generated_date":"2026-10-07"}