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
sha256=59bf450593e2407d52029140803e0e1343d6e30d1564f65cb2b7ec9582681171
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page