Added implementation of minimization simplex, improved optimality condition, improved the unbounded condition checkers.