updates to dimacs cvx