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.
| Authors | Mohamed Iguernlala <[email protected]>, Hichem Ait El Hara <[email protected]>, Steven de Oliveira <[email protected]> and Guillaume Bury <[email protected]> |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://github.com/OCamlPro/ocplib-simplex |
| Issue Tracker | https://github.com/OCamlPro/ocplib-simplex/issues |
| Maintainers | Hichem Ait El Hara <[email protected]>, Steven de Oliveira <[email protected]> and Guillaume Bury <[email protected]> |
| Dependencies | |
| Source [http] | https://github.com/OCamlPro/ocplib-simplex/archive/refs/tags/v0.5.tar.gz sha256=5d76f55cc19c4ce212789ecb879d86b876e8930283463fc4f8ac1374ddfa6ef4 md5=8e0596c828b50527314001d4c6ca3123 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocplib-simplex/ocplib-simplex.0.5/opam |
Required by
- alt-ergo-lib>=2.5.1 & <2.6.0
- osdp>=1.1.1
