Paquet : ocplib-simplex-ocaml-dev (0.5-4 et autres)

[ Paquet 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.

Autres paquets associés à ocplib-simplex-ocaml-dev

• dep: liblogs-ocaml-0yoh6 [amd64]

  paquet virtuel fourni par liblogs-ocaml

• dep: liblogs-ocaml-hzth6 [arm64]

  paquet virtuel fourni par liblogs-ocaml

• dep: liblogs-ocaml-k7al8 [riscv64]

  paquet virtuel fourni par liblogs-ocaml

• dep: liblogs-ocaml-oo433 [alpha, armel, hppa, ia64, m68k, mips64el, sh4, sparc64]

  paquet virtuel fourni par liblogs-ocaml

• dep: liblogs-ocaml-t38x7 [armhf]

  paquet virtuel fourni par liblogs-ocaml

• dep: liblogs-ocaml-ua2v9 [i386]

  paquet virtuel fourni par liblogs-ocaml

• dep: liblogs-ocaml-wks34 [ppc64el]

  paquet virtuel fourni par liblogs-ocaml

• dep: liblogs-ocaml-z5ay3 [s390x]

  paquet virtuel fourni par liblogs-ocaml

• dep: libstdlib-ocaml-058x2 [ppc64el]

  paquet virtuel fourni par libstdlib-ocaml

• dep: libstdlib-ocaml-dkl58 [i386]

  paquet virtuel fourni par libstdlib-ocaml

• dep: libstdlib-ocaml-ep7y0 [amd64]

  paquet virtuel fourni par libstdlib-ocaml

• dep: libstdlib-ocaml-fyga0 [arm64]

  paquet virtuel fourni par libstdlib-ocaml

• dep: libstdlib-ocaml-rayz1 [armhf]

  paquet virtuel fourni par libstdlib-ocaml

• dep: libstdlib-ocaml-rg5q2 [alpha, armel, hppa, ia64, m68k, mips64el, sh4, sparc64]

  paquet virtuel fourni par libstdlib-ocaml

• dep: libstdlib-ocaml-vjut8 [riscv64]

  paquet virtuel fourni par libstdlib-ocaml

• dep: libstdlib-ocaml-vneg5 [s390x]

  paquet virtuel fourni par libstdlib-ocaml

• dep: ocaml-base-4.13.1 [ppc64, x32]

  paquet virtuel fourni par ocaml-base

• sug: ocaml-findlib

  management tool for OCaml libraries

Télécharger ocplib-simplex-ocaml-dev

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	0.5-4+b3	549,1 ko	2 981,0 ko	[liste des fichiers]
amd64	0.5-4+b3	628,7 ko	3 568,0 ko	[liste des fichiers]
arm64	0.5-4+b3	633,3 ko	3 629,0 ko	[liste des fichiers]
armel	0.5-4+b3	549,5 ko	2 981,0 ko	[liste des fichiers]
armhf	0.5-4+b3	628,6 ko	3 411,0 ko	[liste des fichiers]
hppa (portage non officiel)	0.5-4+b3	549,2 ko	2 981,0 ko	[liste des fichiers]
i386	0.5-4+b3	623,8 ko	3 435,0 ko	[liste des fichiers]
ia64 (portage non officiel)	0.5-4+b3	549,5 ko	2 981,0 ko	[liste des fichiers]
m68k (portage non officiel)	0.5-4+b3	549,5 ko	2 981,0 ko	[liste des fichiers]
mips64el	0.5-4+b3	549,1 ko	2 981,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	0.4-2+b2	272,7 ko	3 266,0 ko	[liste des fichiers]
ppc64el	0.5-4+b3	636,3 ko	3 662,0 ko	[liste des fichiers]
riscv64	0.5-4+b3	662,3 ko	4 030,0 ko	[liste des fichiers]
s390x	0.5-4+b3	624,2 ko	3 561,0 ko	[liste des fichiers]
sh4 (portage non officiel)	0.5-4+b3	548,4 ko	2 981,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	0.5-4+b3	549,3 ko	2 981,0 ko	[liste des fichiers]
x32 (portage non officiel)	0.4-2+b2	177,1 ko	2 179,0 ko	[liste des fichiers]