OCamlPro/ocplib-simplex

This is stars and forks stats for /OCamlPro/ocplib-simplex repository. As of 03 May, 2024 this repository has 13 stars and 6 forks.

ocplib-simplex A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions Overview ocplib-simplex is a (fully) functional OCaml implementation of the simplex algorithm for solving systems of linear inequalities. The implementation is incremental and backtrackable. It is able to extract unsat-cores for unsatisfiable problems. Versions > 0.1 also support linear optimization Dependencies ocplib-simplex requires...