{"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":"1.9.5","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/arminbiere/cadical/archive/refs/tags/rel-1.9.5.tar.gz","tag":null,"revision":null,"using":null,"checksum":"fb1850e08c578229c8a3a020673fd65ae271c54f0ce660386a0de952bfd7b2b0"}},"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/cadical/blobs/sha256:a9f3671043f8bfa9b9e0f3c5abf4dfcd22d5196fc98f443fe18da64a31b52c46","sha256":"a9f3671043f8bfa9b9e0f3c5abf4dfcd22d5196fc98f443fe18da64a31b52c46"},"arm64_ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:85a248555403faaecc91e3a4e6b23df264a8f19b12c9ceb18b97c14f6bdee638","sha256":"85a248555403faaecc91e3a4e6b23df264a8f19b12c9ceb18b97c14f6bdee638"},"arm64_monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:d9256af14f70ddd1a2aa0f82360ecd6588f64062db8b7612c44c946648dbe004","sha256":"d9256af14f70ddd1a2aa0f82360ecd6588f64062db8b7612c44c946648dbe004"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:120c3268b72aa7e247f48a2d88ca6391cd1ddc9e8ba4e2fe325cea304927e651","sha256":"120c3268b72aa7e247f48a2d88ca6391cd1ddc9e8ba4e2fe325cea304927e651"},"ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:8a3c7f6bd26182a091090e0545e1eda666d9a832b27c5e9d5bf21e8eda61457f","sha256":"8a3c7f6bd26182a091090e0545e1eda666d9a832b27c5e9d5bf21e8eda61457f"},"monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:9547d6f7ff7949816dc6ad460133291666273edfaf9d50ff85ef52c21c6beaaa","sha256":"9547d6f7ff7949816dc6ad460133291666273edfaf9d50ff85ef52c21c6beaaa"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cadical/blobs/sha256:c98f89aa84b85ececcc7ec73e656bdcf06908c1e4e30ee8d3df76c27f7ba1c50","sha256":"c98f89aa84b85ececcc7ec73e656bdcf06908c1e4e30ee8d3df76c27f7ba1c50"}}}},"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,"disabled":false,"disable_date":null,"disable_reason":null,"post_install_defined":false,"service":null,"tap_git_head":"4e5116e5eefff5d77c3569bc71e72dbbe23a2fbe","ruby_source_path":"Formula/c/cadical.rb","ruby_source_checksum":{"sha256":"ca50d49e763e4547ed16acef3afc880ec933da064bf77c398cde25400ed2437c"},"variations":{},"analytics":{"install":{"30d":{"cadical":47},"90d":{"cadical":189},"365d":{"cadical":876}},"install_on_request":{"30d":{"cadical":36},"90d":{"cadical":126},"365d":{"cadical":498}},"build_error":{"30d":{"cadical":0}}},
"generated_date":"2024-05-13"}