{"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,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:956661daa83980e03eecb0b94a3acba68ce6a8bf4a122b286c94c9aeed708db9","sha256":"956661daa83980e03eecb0b94a3acba68ce6a8bf4a122b286c94c9aeed708db9"},"arm64_ventura":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:518ea1441facc4926c3edddf1fd5e6bf4d2db6460f10d4c4d4ef6c9fd69dcd3d","sha256":"518ea1441facc4926c3edddf1fd5e6bf4d2db6460f10d4c4d4ef6c9fd69dcd3d"},"arm64_monterey":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:22895418f1f5e0d2a1efb9cc700f40bdb29e9809423f0c7949eeaacbbbf7b4f3","sha256":"22895418f1f5e0d2a1efb9cc700f40bdb29e9809423f0c7949eeaacbbbf7b4f3"},"arm64_big_sur":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:b802117d6cc0fa96bedac9eaa086908687ad87c7a368558e47c2417d3d2b7146","sha256":"b802117d6cc0fa96bedac9eaa086908687ad87c7a368558e47c2417d3d2b7146"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:1f8b90a6d6db3e00b7d74587345abdeeb472a2b423f2a940ef1b487e86e410cf","sha256":"1f8b90a6d6db3e00b7d74587345abdeeb472a2b423f2a940ef1b487e86e410cf"},"ventura":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:491bdcc2b593d154333f27413de300da1ef3112c12e950906d49bc50de9aada8","sha256":"491bdcc2b593d154333f27413de300da1ef3112c12e950906d49bc50de9aada8"},"monterey":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:5b028ad6aa66e082709083453b17d150eee4cb2a134b8cccd8c62567928b5859","sha256":"5b028ad6aa66e082709083453b17d150eee4cb2a134b8cccd8c62567928b5859"},"big_sur":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:ecc424ea3cde4f1a8d7056802d384ce1ab9823393301cac432dc26260685437a","sha256":"ecc424ea3cde4f1a8d7056802d384ce1ab9823393301cac432dc26260685437a"},"catalina":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:0940a0cb0c4c4d6130d1eb7aa698561d6b01904044ee57731ad2c12092e30e46","sha256":"0940a0cb0c4c4d6130d1eb7aa698561d6b01904044ee57731ad2c12092e30e46"},"mojave":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:cc7b59b30490175c56a6068c97956c39da31068df2522376da99998761972319","sha256":"cc7b59b30490175c56a6068c97956c39da31068df2522376da99998761972319"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/minisat/blobs/sha256:1277996ab9a57f7c617501f9b386c2bb18ac90e00293738c12222dd89d90a979","sha256":"1277996ab9a57f7c617501f9b386c2bb18ac90e00293738c12222dd89d90a979"}}}},"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":["zlib"],"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/m/minisat.rb","ruby_source_checksum":{"sha256":"feef0ba82b2f5c777f81d28bf943dc55d0611e87071715e5e208e318d5780615"},"variations":{},"analytics":{"install":{"30d":{"minisat":102},"90d":{"minisat":353},"365d":{"minisat":978}},"install_on_request":{"30d":{"minisat":45},"90d":{"minisat":164},"365d":{"minisat":323}},"build_error":{"30d":{"minisat":0}}},
"generated_date":"2024-05-13"}