{"name":"minisat","full_name":"minisat","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Minimalistic and high-performance SAT solver","license":"MIT","homepage":"https://github.com/stp/minisat","versions":{"stable":"2.2.1","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/stp/minisat/archive/refs/tags/releases/2.2.1.tar.gz","tag":null,"revision":null,"using":null,"checksum":"432985833596653fcd698ab439588471cc0f2437617d0df2bb191a0252ba423d"},"head":{"url":"https://github.com/stp/minisat.git","branch":"master","using":null}},"revision":0,"version_scheme":0,"compatibility_version":null,"autobump":true,"no_autobump_message":null,"skip_livecheck":false,"bottle":{"stable":{"rebuild":1,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_tahoe":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:cf6593a34e4fccf6f0e21cd5a5ff25f1228a88bfa865a2a11d87e0a106186a7c","sha256":"cf6593a34e4fccf6f0e21cd5a5ff25f1228a88bfa865a2a11d87e0a106186a7c"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:c99b867058712c4d612c88a4994b087b44d6cea68e01ce30b7af6153609a27e9","sha256":"c99b867058712c4d612c88a4994b087b44d6cea68e01ce30b7af6153609a27e9"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:da140f3fdbd9218b87aa76edc4ca27e630eb64e1c9f88c9766e66889e01259aa","sha256":"da140f3fdbd9218b87aa76edc4ca27e630eb64e1c9f88c9766e66889e01259aa"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:8b4162944a00007011efc0b60bc3938c0f54b25526121cc1700bf108e673b287","sha256":"8b4162944a00007011efc0b60bc3938c0f54b25526121cc1700bf108e673b287"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:b2a9974eb7be498a0222d84b7b0f82b9fe56c1c41b5437612534219a0d1bf71f","sha256":"b2a9974eb7be498a0222d84b7b0f82b9fe56c1c41b5437612534219a0d1bf71f"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:498f58fa3f510fd9d3381319c866db4a789ab7bbafbf230e635e2a47424ed6c5","sha256":"498f58fa3f510fd9d3381319c866db4a789ab7bbafbf230e635e2a47424ed6c5"}}}},"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,"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/m/minisat.rb","ruby_source_checksum":{"sha256":"ca73c6fba1a48c605849f22c2e5642ffbfcdc3db47008d9ce45ad5e6b06abe5c"},"variations":{"x86_64_linux":{"dependencies":["zlib-ng-compat"]},"arm64_linux":{"dependencies":["zlib-ng-compat"]}},"analytics":{"install":{"30d":{"minisat":61},"90d":{"minisat":146},"365d":{"minisat":583}},"install_on_request":{"30d":{"minisat":26},"90d":{"minisat":68},"365d":{"minisat":242}},"build_error":{"30d":{"minisat":0}}},
"generated_date":"2026-04-28"}