which glpsol cbc highs minisat glucose lp_solve scip z3 python3