Adding some parsers and optimizers for linear programs, as well as an integer point finder.
Converting some inequalities for families of equalities in the LP formulation, and adding two equality families which seem to be all the valid equalities in low dimensional cases.