ocplib-simplexversion

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.

AuthorsMohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>, Hichem Ait El Hara <hichem@ocamlpro.com>, Steven de Oliveira <steven@ocamlpro.com> and Guillaume Bury <guillaume.bury@ocamlpro.com>
LicenseLGPL-2.1-only
Published
Homepagehttps://github.com/OCamlPro/ocplib-simplex
Issue Trackerhttps://github.com/OCamlPro/ocplib-simplex/issues
MaintainersHichem Ait El Hara <hichem@ocamlpro.com>, Steven de Oliveira <steven@ocamlpro.com> and Guillaume Bury <guillaume.bury@ocamlpro.com>
Dependencies
Source [http] https://github.com/OCamlPro/ocplib-simplex/archive/refs/tags/v0.5.tar.gz
md5=8e0596c828b50527314001d4c6ca3123
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/ocplib-simplex/ocplib-simplex.0.5/opam
Required by