Semi-definite quadratic linear programming solver
