{"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.5","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/msoos/cryptominisat/archive/refs/tags/release/v5.14.5.tar.gz","tag":null,"revision":null,"using":null,"checksum":"1deb009ffc832382529e72da804480696e9cd8f51117b2202907a13866b96a2a"}},"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_tahoe":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:0bda535d69f0df6273e6a67cafc16d1525d1a15d77926f9180f1d396b798f5eb","sha256":"0bda535d69f0df6273e6a67cafc16d1525d1a15d77926f9180f1d396b798f5eb"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:4119f4cdc2d9689710e3dfb37df48e23ef326a5791be39fd17ced13e67cc488a","sha256":"4119f4cdc2d9689710e3dfb37df48e23ef326a5791be39fd17ced13e67cc488a"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:3643904b54eb5e7884f0d9c18b81b27c546346b7f8e88a2b3ed26c4c18543b52","sha256":"3643904b54eb5e7884f0d9c18b81b27c546346b7f8e88a2b3ed26c4c18543b52"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:0e0bb28190d8c36f9d3020ad5fc44cd48a710e43723f50368ed9a13453493230","sha256":"0e0bb28190d8c36f9d3020ad5fc44cd48a710e43723f50368ed9a13453493230"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:24d1c38e04966c1ab76c292541804e7e5a15114c6a40ae70f02d4d9a2961d39a","sha256":"24d1c38e04966c1ab76c292541804e7e5a15114c6a40ae70f02d4d9a2961d39a"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cryptominisat/blobs/sha256:448cb62862b4de1f036708fe68097903d03ea9314e6f1269091a6bba2c5d026e","sha256":"448cb62862b4de1f036708fe68097903d03ea9314e6f1269091a6bba2c5d026e"}}}},"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":"2e84f2ff6500f17d1e5246bc35f5b83349fa0e7e","ruby_source_path":"Formula/c/cryptominisat.rb","ruby_source_checksum":{"sha256":"21e02e4c66f328ac42d3b7f2ab49e7af4ded6d188d2a2e0189407de5c4634389"},"variations":{"x86_64_linux":{"dependencies":["gmp","zlib-ng-compat"]},"arm64_linux":{"dependencies":["gmp","zlib-ng-compat"]}},"executables":["cryptominisat5","oracle"],"analytics":{"install":{"30d":{"cryptominisat":78},"90d":{"cryptominisat":307},"365d":{"cryptominisat":899}},"install_on_request":{"30d":{"cryptominisat":48},"90d":{"cryptominisat":218},"365d":{"cryptominisat":516}},"build_error":{"30d":{"cryptominisat":1}}},
"generated_date":"2026-06-07"}