MyNixOS website logo
Description

OCaml library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities.