Lurupa–rigorous error bounds in linear programming. The software part of my dissertation, Lurupa is a tool to rigorously bound the optimal value of a linear program and compute verified enclosures of near optimal feasible points. It is written in pure ANSI C++ and uses the interval library PROFIL/BIAS. In addition a linear programming solver is needed to compute approximate solutions. Currently only lp_solve is supported but modules to link to other solvers are planned and can be easily implemented.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element