VSDP: Verified SemiDefinite-quadratic-linear Programming (Version 2012)
The latest version is VSDP 2018.
VSDP is a software package that is designed for the computation of verified results in conic programming. It 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.
Via its interface, VSDP provides easy access to the conic solvers: