ocplib-simplex

AuthorMohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>
LicenseLGPL version 2.1
Homepagehttps://github.com/OCamlPro-Iguernlala/ocplib-simplex
Issue Trackerhttps://github.com/OCamlPro-Iguernlala/ocplib-simplex/issues
MaintainerMohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>
Dependencies
&conf-autoconf
num
ocamlfind
Availableocaml-version >= "4.01.0"
PublishedAug 22, 2017
Source [http] https://github.com/OCamlPro-Iguernlala/ocplib-simplex/archive/v0.4.tar.gz
fbde2d7194acc0cda9f1b4511f4baa27
StatisticsInstalled 18 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/ocplib-simplex/ocplib-simplex.0.4/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.

No package is dependent