Paquet : ocplib-simplex-ocaml-dev (0.4-2 et autres)

Liens pour ocplib-simplex-ocaml-dev

Ressources Debian :

Télécharger le paquet source ocplib-simplex :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

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

dépendances

recommandations

suggestions

enhances

dep: ocaml-base-nox-4.11.1

paquet virtuel fourni par ocaml-base-nox

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
amd64	0.4-2+b1	264,2 ko	3 160,0 ko	[liste des fichiers]
arm64	0.4-2+b1	269,8 ko	3 200,0 ko	[liste des fichiers]
armel	0.4-2+b1	175,4 ko	2 264,0 ko	[liste des fichiers]
armhf	0.4-2+b1	266,3 ko	2 915,0 ko	[liste des fichiers]
i386	0.4-2+b1	259,2 ko	2 966,0 ko	[liste des fichiers]
mips64el	0.4-2+b1	175,6 ko	2 264,0 ko	[liste des fichiers]
mipsel	0.4-2+b1	175,5 ko	2 264,0 ko	[liste des fichiers]
ppc64el	0.4-2+b1	269,9 ko	3 260,0 ko	[liste des fichiers]
s390x	0.4-2+b1	263,2 ko	3 196,0 ko	[liste des fichiers]