{"categories":[],"packages":[],"usage":[{"description":"Enable sci-mathematics\/cryptominisat support","isdefault":false,"packageid":73915,"use":"cryptominisat"}],"use":{"description":"Enable sci-mathematics\/cryptominisat support","isdefault":false,"packageid":73915,"use":"cryptominisat"}}