cvxstoc
