Uses cvxopt to solve linear programming.