Paquet : libmccs-ocaml (1.1+19-1 et autres)

Liens pour libmccs-ocaml

Ressources Debian :

Télécharger le paquet source ocaml-mccs :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

stripped-down MCCS CUDF solver for OCaml

mccs (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project.

This repository contains a stripped-down version of the mccs solver, taken from snapshot 1.1, with a binding as an OCaml library, and building with dune.

The binding enables interoperation with binary CUDF data from the OCaml CUDF library, and removes the native C++ parsers and printers from mccs. Only the GLPK backend and the lpsolve interface are compiled

Autres paquets associés à libmccs-ocaml

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.38) [non alpha, ia64, loong64, sh4]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

dep: libc6 (>= 2.41) [loong64, sh4]
dep: libc6.1 (>= 2.37) [ia64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb

dep: libc6.1 (>= 2.38) [alpha]
dep: libgcc-s1 (>= 3.0) [non armel, armhf, hppa, ia64, m68k]

bibliothèque de prise en charge de GCC

dep: libgcc-s1 (>= 3.5) [armel, armhf]
dep: libgcc-s2 (>= 4.2.1) [m68k]

bibliothèque de prise en charge de GCC
dep: libgcc-s4 (>= 4.1.1) [hppa]

bibliothèque de prise en charge de GCC
dep: libglpk40 (>= 4.59) [non ia64]

linear programming kit with integer (MIP) support
dep: libstdc++6 (>= 13.1)

bibliothèque standard C++ de GNU v3
dep: libstdlib-ocaml-2d5j3 [s390x]

paquet virtuel fourni par libstdlib-ocaml
dep: libstdlib-ocaml-bdrm4 [alpha]

paquet virtuel fourni par libstdlib-ocaml
dep: libstdlib-ocaml-m4xw9 [amd64, arm64, ppc64el, riscv64]

paquet virtuel fourni par libstdlib-ocaml
dep: libstdlib-ocaml-rg5q2 [ia64]

paquet virtuel fourni par libstdlib-ocaml
dep: libstdlib-ocaml-ye7o9 [non alpha, amd64, arm64, ia64, ppc64el, riscv64, s390x]

paquet virtuel fourni par libstdlib-ocaml
dep: libunwind8 [ia64]

bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable
dep: ocaml-base-4.14.1 [ia64]

paquet virtuel fourni par ocaml-base
dep: ocaml-base-5.3.0 [non ia64]

paquet virtuel fourni par ocaml-base

Télécharger libmccs-ocaml

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	1.1+19-1+b2	55,8 ko	227,0 ko	[liste des fichiers]
amd64	1.1+19-1+b2	74,7 ko	349,0 ko	[liste des fichiers]
arm64	1.1+19-1+b2	68,9 ko	489,0 ko	[liste des fichiers]
armel	1.1+19-1+b2	49,6 ko	161,0 ko	[liste des fichiers]
armhf	1.1+19-1+b2	50,0 ko	161,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.1+19-1+b3	64,6 ko	202,0 ko	[liste des fichiers]
i386	1.1+19-1+b2	62,0 ko	177,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.1+17-1	66,0 ko	292,0 ko	[liste des fichiers]
loong64 (portage non officiel)	1.1+19-1+b2	55,0 ko	225,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.1+19-1+b2	55,5 ko	169,0 ko	[liste des fichiers]
mips64el	1.1+19-1+b2	55,1 ko	239,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.1+19-1+b2	59,8 ko	290,0 ko	[liste des fichiers]
ppc64el	1.1+19-1+b2	76,2 ko	489,0 ko	[liste des fichiers]
riscv64	1.1+19-1+b2	72,0 ko	285,0 ko	[liste des fichiers]
s390x	1.1+19-1+b2	71,0 ko	353,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1.1+19-1+b2	60,8 ko	162,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.1+19-1+b2	50,1 ko	1 063,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.1+19-1+b2	57,9 ko	169,0 ko	[liste des fichiers]