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