A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions 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.
|ocaml-ocplib-simplex.changes||0000000154154 Bytes||1504873413about 1 year ago|
|ocaml-ocplib-simplex.spec||00000025512.49 KB||1504873775about 1 year ago|
|ocplib-simplex-0.3.tar.gz||000003101330.3 KB||1504873413about 1 year ago|