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

Verwijzigingen voor ocplib-simplex-ocaml-dev

Debian bronnen:

Het bronpakket ocplib-simplex downloaden:

Beheerders:

Externe bronnen:

Homepage [github.com]

Vergelijkbare pakketten:

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.

Andere aan ocplib-simplex-ocaml-dev gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libc6 (>= 2.1.3) [i386]

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb

dep: libc6 (>= 2.17) [arm64]

dep: libc6 (>= 2.2.5) [amd64]

dep: libc6 (>= 2.4) [armhf]
dep: ocaml-base-nox-4.05.0

virtueel pakket geboden door ocaml-base-nox

ocplib-simplex-ocaml-dev downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	251,0 kB	2.737,0 kB	[overzicht]
arm64	262,1 kB	2.848,0 kB	[overzicht]
armhf	253,1 kB	2.384,0 kB	[overzicht]
i386	241,8 kB	2.422,0 kB	[overzicht]