A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities - View it on GitHub