Package: ocplib-simplex-ocaml-dev (0.4-2 and others)

[ Source: ocplib-simplex  ]

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

• dep: ocaml-base-nox-4.11.1

  virtual package provided by ocaml-base-nox

Download ocplib-simplex-ocaml-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	0.4-2+b1	264.2 kB	3,160.0 kB	[list of files]
arm64	0.4-2+b1	269.8 kB	3,200.0 kB	[list of files]
armel	0.4-2+b1	175.4 kB	2,264.0 kB	[list of files]
armhf	0.4-2+b1	266.3 kB	2,915.0 kB	[list of files]
i386	0.4-2+b1	259.2 kB	2,966.0 kB	[list of files]
mips64el	0.4-2+b1	175.6 kB	2,264.0 kB	[list of files]
mipsel	0.4-2+b1	175.5 kB	2,264.0 kB	[list of files]
ppc64el	0.4-2+b1	269.9 kB	3,260.0 kB	[list of files]
s390x	0.4-2+b1	263.2 kB	3,196.0 kB	[list of files]