卢鲁帕

Lurupa–线性规划中严格的误差界限。本文的软件部分Lurupa是一个严格限定线性规划的最优值和计算近似最优可行点的验证包围的工具。它是用纯ansic++编写的,并使用间隔库PROFIL/BIAS。此外,还需要一个线性规划求解器来计算近似解。目前只支持lp_solve,但链接到其他解算器的模块是计划好的,并且易于实现。