{"library":"cryptominisat","type":"cli","category":null,"description":"Advanced SAT solver with CLI interface. Available on Homebrew and apt.","language":"c++","status":"active","version":"5.14.5","tags":[],"install":[{"cmd":"brew install cryptominisat","imports":[]},{"cmd":"apt install cryptominisat","imports":[]}],"homepage":"https://www.msoos.org/cryptominisat5/","github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":null,"next_check":null,"install_tag":"reviewed"}}