package ocplib-simplex
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions
Install
Dune Dependency
Authors
Maintainers
Sources
0.3.tar.gz
md5=ef6d61360bc1ed6c6f273dd723c71016
Description
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.
Published: 09 Nov 2016
Dependencies (4)
- num
-
conf-autoconf
build -
ocamlfind
build -
ocaml
>= "4.01.0"
Dev Dependencies
None
Used by (6)
-
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"
Conflicts
None
On This Page