VSDP: Verified SemiDefinite-quadratic-linear Programming (Version 2018)
This is the latest version of VSDP.
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.
This version of VSDP provides easy access to the conic solvers:
For more information, please visit https://vsdp.github.io/.