Adding a smarter technique for pivoting in solutions for glpk.
Adding cut offs for likely integer infeasible paths.