{"id":32675,"library":"cryptominisat","title":"cryptominisat","description":"Advanced SAT solver with CLI interface. Available on Homebrew and apt.","status":"active","version":"5.14.5","language":"c++","source_language":null,"source_url":null,"tags":[],"install":[{"cmd":"brew install cryptominisat"},{"cmd":"apt install cryptominisat"}],"dependencies":[],"imports":[],"quickstart":null,"warnings":[],"env_vars":null,"search_vec":"'advanc':2 'apt':12 'avail':8 'cli':6 'cryptominisat':1 'homebrew':10 'interfac':7 'sat':3 'solver':4","created_at":"2026-05-31T14:31:02.587225+00:00","updated_at":"2026-05-31T14:31:02.587225+00:00","problems":[],"ecosystem":"pypi","meta_description":null,"install_score":null,"quickstart_score":null,"quickstart_tag":null,"pypi_latest":null,"cli_name":null,"cli_version":null,"type":"cli","homepage":"https://www.msoos.org/cryptominisat5/","github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["devops"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":null,"next_check":null,"install_tag":"reviewed"}}