ocplib-simplex

Author Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>
License LGPL version 2.1
Homepage https://github.com/OCamlPro-Iguernlala/ocplib-simplex
Issue Tracker https://github.com/OCamlPro-Iguernlala/ocplib-simplex/issues
Maintainer Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>
Dependencies
& conf-autoconf
ocamlfind
Available ocaml-version >= "4.01.0"
Published Nov 9, 2016
Source [http] http://github.com/OCamlPro-Iguernlala/ocplib-simplex/archive/0.3.tar.gz
ef6d61360bc1ed6c6f273dd723c71016
Statistics Installed 388 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/ocplib-simplex/ocplib-simplex.0.3/opam

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.