ml@gentoo.org ML A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities