{"categories":[],"packages":[],"usage":[{"description":"Enable support for sci-mathematics\/z3 constraint solver","isdefault":false,"packageid":78059,"use":"z3"},{"description":"Enable support for sci-mathematics\/z3","isdefault":false,"packageid":73738,"use":"z3"},{"description":"Enable Z3 contraint solver support","isdefault":false,"packageid":74278,"use":"z3"}],"use":{"description":"Enable support for sci-mathematics\/z3","isdefault":false,"packageid":73738,"use":"z3"}}