Add export to cvxopt sdp solver