ocplib-simplexversion
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
This library 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 <mohamed.iguernlala@ocamlpro.com>, Hichem Ait El Hara <hichem.ait-el-hara@ocamlpro.com>, Steven de Oliveira <steven.de-oliveira@ocamlpro.com> and Guillaume Bury <guillaume.bury@ocamlpro.com> |
|---|---|
| License | LGPL-2.1-or-later |
| Published | |
| Homepage | https://github.com/OCamlPro-Iguernlala/ocplib-simplex |
| Issue Tracker | https://github.com/OCamlPro-Iguernlala/ocplib-simplex/issues |
| Maintainer | OCamlPro <contact@ocamlpro.com> |
| Dependencies |
|
| Source [http] | https://github.com/OCamlPro/ocplib-simplex/archive/refs/tags/v0.4.1.tar.gz md5=6b394721cace379ee728e5a658183e23 sha512=6436a904f4e0ec4efa13592185764b58142296816855562d9c2c6d360b64ab554bbd95314976e0462fbb2ed145f8915fd9c2f63f7bae66063efb4c51f74f3edb |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocplib-simplex/ocplib-simplex.0.4.1/opam |
Required by
- alt-ergo>=2.0.0 & <2.3.0
- alt-ergo-free<2.3.3
- alt-ergo-lib<2.5.0
- alt-ergo-lib-free
- colibri2<0.4
- osdp=0.6.0
