ocaml-ocplib-simplex

Alt-Ergo simplex solver library for Objective Caml

The Ocplib-simplex OCaml library imlements a simplex algorithm for solving systems of linear inequalities and optimizing linear objective functions. Linear optimization and unsat-cores extraction are also supported. The implementation is iterative and backtrackable.