{"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.0","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/arminbiere/cadical/archive/refs/tags/rel-3.0.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"282b1c9422fde8631cb721b86450ae94df4e8de0545c17a69a301aaa4bf92fcf"}},"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_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:2967cc0540cdaf175371d3a4f566ada6998c14f565af4f3a0e844c38655e25d0","sha256":"2967cc0540cdaf175371d3a4f566ada6998c14f565af4f3a0e844c38655e25d0"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:34eb631b3ca9f327844f593b90c8caf146e677c34221dece4e06d6e70309bf14","sha256":"34eb631b3ca9f327844f593b90c8caf146e677c34221dece4e06d6e70309bf14"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:117549d37410d5cb9466328e14940c6d97aa1e7349536f146abac6df7e8dfb64","sha256":"117549d37410d5cb9466328e14940c6d97aa1e7349536f146abac6df7e8dfb64"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:c79fc253f0b70e9271afec97af7ccfa616c27399ae98469493bf269cd0329e27","sha256":"c79fc253f0b70e9271afec97af7ccfa616c27399ae98469493bf269cd0329e27"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:0b1269bb97bdc24a8a221815916362376d69f3a9f200adf44eb7052a6cb37161","sha256":"0b1269bb97bdc24a8a221815916362376d69f3a9f200adf44eb7052a6cb37161"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:7d52a60004435c341e172b804ab0aa96e12170ab4b94e6f2919707a61f59b9e6","sha256":"7d52a60004435c341e172b804ab0aa96e12170ab4b94e6f2919707a61f59b9e6"}}}},"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_defined":false,"service":null,"tap_git_head":"f0c124556c25d1d383ae57335c1e892f34da9e9b","ruby_source_path":"Formula/c/cadical.rb","ruby_source_checksum":{"sha256":"ea34b19fb182f56202abe5e5d97ea9b844b30cad8d09a5a973ffdef874edfbb8"},"variations":{},"analytics":{"install":{"30d":{"cadical":24},"90d":{"cadical":61},"365d":{"cadical":253}},"install_on_request":{"30d":{"cadical":16},"90d":{"cadical":39},"365d":{"cadical":166}},"build_error":{"30d":{"cadical":0}}},
"generated_date":"2026-04-28"}