ocplib-simplexversion
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
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.
| Authors | Mohamed Iguernlala <[email protected]>, Hichem Ait El Hara <[email protected]>, Steven de Oliveira <[email protected]>, Guillaume Bury <[email protected]> and Pierre Villemot <[email protected]> |
|---|---|
| License | LGPL-2.1-or-later |
| Published | |
| Homepage | https://github.com/OCamlPro/ocplib-simplex |
| Issue Tracker | https://github.com/OCamlPro/ocplib-simplex/issues |
| Maintainer | OCamlPro <[email protected]> |
| Dependencies | |
| Source [http] | https://github.com/OCamlPro/ocplib-simplex/releases/download/v0.5.1/ocplib-simplex-0.5.1.tbz sha256=a5c814be4d18e60c525d37c5b21e880b05b42e7c57b351aa3d20173521d513cf sha512=2cf2936792c4429556fa7349069474056d5ae4ca0cf8ad3587880ebbc32cec39fad9b36df7c1ae18fa15f89fe4291bdb5a350b20d0cf84ce5ae651a77d0dd163 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocplib-simplex/ocplib-simplex.0.5.1/opam |
Required by
- alt-ergo-lib>=2.5.0
