Tools for manipulating systems of linear (in)equalities - View it on GitHub