{"name":"cryptominisat","full_name":"cryptominisat","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Advanced SAT solver","license":"MIT","homepage":"https://www.msoos.org/cryptominisat5/","versions":{"stable":"5.16.0","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/msoos/cryptominisat/archive/refs/tags/release/v5.16.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"e3a02fe9a1a13ede75b6e52866ca2cc98032d134cd7ccaadabc07b9977df4908"}},"patches":[],"revision":0,"version_scheme":0,"compatibility_version":1,"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","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:a7816f28f00e59959221fcd33b7ff37867e54170d10a0a3c1bd60ae346ccf1cc","sha256":"a7816f28f00e59959221fcd33b7ff37867e54170d10a0a3c1bd60ae346ccf1cc"},"arm64_tahoe":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:98ebe46a40908ef24c9cf4441c0337c4e1179ddcae1741c4b8d7238b7ab5d586","sha256":"98ebe46a40908ef24c9cf4441c0337c4e1179ddcae1741c4b8d7238b7ab5d586"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:293d7bc4197647f06eef022efcc2e3ff59d621d0f2b601e201cec7468410f033","sha256":"293d7bc4197647f06eef022efcc2e3ff59d621d0f2b601e201cec7468410f033"},"arm64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:e041606e2e6251b1ca3d1f3b320fe6ee01f34e3623593a4b875c8a607cba36ef","sha256":"e041606e2e6251b1ca3d1f3b320fe6ee01f34e3623593a4b875c8a607cba36ef"},"x86_64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:a3e1534f5349db87df55327a06944d7332ad63eecc642a08a0d5809b994acef4","sha256":"a3e1534f5349db87df55327a06944d7332ad63eecc642a08a0d5809b994acef4"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cmake","pkgconf","python@3.14"],"dependencies":["gmp"],"test_dependencies":["python@3.14"],"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":"6f00f596009feb428265476fb2ba6c1b682f74df","ruby_source_path":"Formula/c/cryptominisat.rb","ruby_source_checksum":{"sha256":"394a2ee25c3a7c758e8d05b0f810d8988ff0f0c969f117b6d0be9921d956f78d"},"variations":{"x86_64_linux":{"dependencies":["gmp","zlib-ng-compat"]},"arm64_linux":{"dependencies":["gmp","zlib-ng-compat"]}},"executables":["cryptominisat5","oracle"],"analytics":{"install":{"30d":{"cryptominisat":58},"90d":{"cryptominisat":213,"cryptominisat --HEAD":1},"365d":{"cryptominisat":981,"cryptominisat --HEAD":1}},"install_on_request":{"30d":{"cryptominisat":42},"90d":{"cryptominisat":118,"cryptominisat --HEAD":1},"365d":{"cryptominisat":621,"cryptominisat --HEAD":1}},"build_error":{"30d":{"cryptominisat":0}}},
"generated_date":"2026-10-09"}