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||150487341311 months ago|
|ocaml-ocplib-simplex.spec||00000025512.49 KB||150487377511 months ago|
|ocplib-simplex-0.3.tar.gz||000003101330.3 KB||150487341311 months ago|