{"categories":[],"packages":[],"usage":[{"description":"Enable support for MCSAT","isdefault":false,"packageid":75684,"use":"mcsat"}],"use":{"description":"Enable support for MCSAT","isdefault":false,"packageid":75684,"use":"mcsat"}}