ocplib-simplexversion Documentation on ocaml.org
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.
| Author | Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com> |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| 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 |
|
| Source [http] | https://github.com/OCamlPro-Iguernlala/ocplib-simplex/archive/0.3.tar.gz sha256=59bf450593e2407d52029140803e0e1343d6e30d1564f65cb2b7ec9582681171 md5=ef6d61360bc1ed6c6f273dd723c71016 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocplib-simplex/ocplib-simplex.0.3/opam |
Required by
- alt-ergo=1.30
- altgr-ergo=1.30
- fm-simplex-plugin>=1.30
- osdp<1.0.0
- profiler-plugin>=1.30
- satML-plugin>=1.30
