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
v0.4.tar.gz
sha256=e17dab080508f2d02ce727c3dbc8dbc2613b15229cc74c67d3d11d4fdf22d878
md5=fbde2d7194acc0cda9f1b4511f4baa27
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: 23 Aug 2017
Dependencies (4)
- num
-
conf-autoconf
build
-
ocamlfind
build
-
ocaml
>= "4.01.0" & < "5.1~"
Dev Dependencies
None
Used by (6)
-
alt-ergo
>= "2.0.0" & < "2.3.0"
-
alt-ergo-free
< "2.3.3"
-
alt-ergo-lib
< "2.4.3"
- alt-ergo-lib-free
- colibri2
-
osdp
>= "0.6.0" & < "1.1.1"
Conflicts (1)
-
osdp
= "0.5.4"
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page