pkg info | grep -i -E "z3|sat|glpk|scip|ortools"