Package: ocplib-simplex-ocaml-dev (0.5.1-4 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: liblogs-ocaml-9iwg7 [ppc64el]

  virtual package provided by liblogs-ocaml

• dep: liblogs-ocaml-dfy27 [s390x]

  virtual package provided by liblogs-ocaml

• dep: liblogs-ocaml-koi68 [arm64]

  virtual package provided by liblogs-ocaml

• dep: liblogs-ocaml-oeeh1 [amd64]

  virtual package provided by liblogs-ocaml

• dep: liblogs-ocaml-qslp2 [armel, armhf, i386]

  virtual package provided by liblogs-ocaml

• dep: liblogs-ocaml-zvhv2 [riscv64]

  virtual package provided by liblogs-ocaml

• dep: libstdlib-ocaml-2d5j3 [s390x]

  virtual package provided by libstdlib-ocaml

• dep: libstdlib-ocaml-m4xw9 [amd64, arm64, ppc64el, riscv64]

  virtual package provided by libstdlib-ocaml

• dep: libstdlib-ocaml-ye7o9 [armel, armhf, i386]

  virtual package provided by libstdlib-ocaml

• sug: ocaml-findlib

  management tool for OCaml libraries

Download ocplib-simplex-ocaml-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	0.5.1-4+b8	1,086.1 kB	1,912.0 kB	[list of files]
arm64	0.5.1-4+b8	1,086.2 kB	1,974.0 kB	[list of files]
armel	0.5.1-4+b8	992.3 kB	1,230.0 kB	[list of files]
armhf	0.5.1-4+b8	992.5 kB	1,230.0 kB	[list of files]
i386	0.5.1-4+b8	992.5 kB	1,230.0 kB	[list of files]
ppc64el	0.5.1-4+b8	1,092.3 kB	2,056.0 kB	[list of files]
riscv64	0.5.1-4+b8	1,125.6 kB	2,488.0 kB	[list of files]
s390x	0.5.1-4+b8	1,084.1 kB	1,938.0 kB	[list of files]