VSDP：经过验证的半定二次线性编程（2020版） 这是VSDP的最新版本。 VSDP是一个软件包，用于在圆锥编程中计算经过验证的结果。 它支持约束圆锥，该约束圆锥由半定圆锥，二阶圆锥和非负正整数的乘积组成。 它提供了一些功能，用于计算真正的最佳值的严格误差范围，经过验证的epsilon最佳解决方案的封装以及经过验证的不可行证书。 考虑了由于浮点运算而产生的所有舍入误差。 该软件完全用 / 编写，需要间隔工具箱 。 因此也支持间隔输入。 此版本的VSDP可轻松访问圆锥求解器： ，