Package: ocplib-simplex-ocaml-dev (0.4-1)

Links for ocplib-simplex-ocaml-dev

External Resources:

Homepage [github.com]

Similar packages:

libsoplexshared7.0
libsoplex-dev
soplex
libcdd-doc
libcdd0t64
libcdd0d
libcdd-dev
libcdd-tools
r-cran-linprog
coinor-libdylp1
coinor-libdylp0

simplex library for solving linear inequalities

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, and supports linear optimization.

Other Packages Related to ocplib-simplex-ocaml-dev

depends

recommends

suggests

enhances

dep: libc6 (>= 2.17)

GNU C könyvtár: megosztott könyvtárak
also a virtual package provided by libc6-udeb
dep: ocaml-base-nox-4.05.0

virtual package provided by ocaml-base-nox

Download ocplib-simplex-ocaml-dev

Download for all available architectures
Architecture	Package Size	Installed Size	Files
arm64	262.1 kB	2,848.0 kB	[list of files]