The lp solver is fully functional