package ocplib-simplex
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
Install
Dune Dependency
Authors
Maintainers
Sources
ocplib-simplex-0.5.1.tbz
sha256=a5c814be4d18e60c525d37c5b21e880b05b42e7c57b351aa3d20173521d513cf
sha512=2cf2936792c4429556fa7349069474056d5ae4ca0cf8ad3587880ebbc32cec39fad9b36df7c1ae18fa15f89fe4291bdb5a350b20d0cf84ce5ae651a77d0dd163
Description
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.
Published: 02 Apr 2024
On This Page