{"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.14.4","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/msoos/cryptominisat/archive/refs/tags/release/v5.14.4.tar.gz","tag":null,"revision":null,"using":null,"checksum":"cc8ff7bd6aa72cf0ba1d4cb6aa0f430f4fc6155af4e9d29008acc06b2583087e"}},"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_tahoe":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:3ffc932cffd60239777dcacf11be1ba3e5b3aa33792759837e37f23e331514a4","sha256":"3ffc932cffd60239777dcacf11be1ba3e5b3aa33792759837e37f23e331514a4"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:a60238ea10a150c198f00bb6cd04622008802b65600b25373b7baffaed3e0cbd","sha256":"a60238ea10a150c198f00bb6cd04622008802b65600b25373b7baffaed3e0cbd"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:0f63c8da2a5cab6ed922922b0ad6ef4d7d04ce13c8a168affa559ff13f13f52c","sha256":"0f63c8da2a5cab6ed922922b0ad6ef4d7d04ce13c8a168affa559ff13f13f52c"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:0446688d197106f1101a15233bde43c276193dfaea6f5d0c39a545f23055fa59","sha256":"0446688d197106f1101a15233bde43c276193dfaea6f5d0c39a545f23055fa59"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:44bd4462780909e1f4f2f6ce4001f8aece70e985858a294e259e30c63036d07e","sha256":"44bd4462780909e1f4f2f6ce4001f8aece70e985858a294e259e30c63036d07e"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:e1f78aa17e3ce8c2ad98146ef71de77a09b29e90e76cf8106af1b55330bb3f6a","sha256":"e1f78aa17e3ce8c2ad98146ef71de77a09b29e90e76cf8106af1b55330bb3f6a"}}}},"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_defined":false,"service":null,"tap_git_head":"f0c124556c25d1d383ae57335c1e892f34da9e9b","ruby_source_path":"Formula/c/cryptominisat.rb","ruby_source_checksum":{"sha256":"236fde821078b19421f010a53cc88cdbb4626bf012b371e6172a9290d0044656"},"variations":{"x86_64_linux":{"dependencies":["gmp","zlib-ng-compat"]},"arm64_linux":{"dependencies":["gmp","zlib-ng-compat"]}},"analytics":{"install":{"30d":{"cryptominisat":160},"90d":{"cryptominisat":288},"365d":{"cryptominisat":842}},"install_on_request":{"30d":{"cryptominisat":120},"90d":{"cryptominisat":195},"365d":{"cryptominisat":459}},"build_error":{"30d":{"cryptominisat":10}}},
"generated_date":"2026-04-28"}