Library for solving linear programming problems
