VSDP is a software package that is designed for the computation of verified results in conic programming. The current version of VSDP supports the constraint cone consisting of the product of semidefinite cones, second-order cones and the nonnegative orthant. It provides functions for computing rigorous error bounds of the true optimal value, verified enclosures of epsilon-optimal solutions, and verified certificates of infeasibility. All rounding errors due to floating point arithmetic are taken into account. VSDP is completely written in MATLAB. It uses INTLAB, and thus interval input data are supported as well. Via its interface, VSDP provides an easy access to the conic solvers CSDP, SeDuMi, SDPA, SDPT3, as well as LPSOLVE and LINPROG. Detailed numerical results for the NETLIB LP library, SDPLIB, DIMACS and Kocvara's test library for problems from structural optimization are presented in the second part of this manual. Many of these test problems are challenging real-world problems of large scale.
View VSDP: A Matlab toolbox for verified semidefinite-quadratic-linear programming