toutes les options
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : ocaml-mccs  ]

Paquet : libmccs-ocaml (1.1+17-1)

Liens pour libmccs-ocaml

Screenshot

Ressources Debian :

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

Responsables :

Ressources externes :

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

Télécharger libmccs-ocaml

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 53,8 ko230,0 ko [liste des fichiers]
amd64 72,4 ko360,0 ko [liste des fichiers]
arm64 68,7 ko492,0 ko [liste des fichiers]
armel 49,6 ko156,0 ko [liste des fichiers]
armhf 63,7 ko242,0 ko [liste des fichiers]
hppa (portage non officiel) 63,0 ko209,0 ko [liste des fichiers]
i386 77,0 ko354,0 ko [liste des fichiers]
ia64 (portage non officiel) 66,0 ko292,0 ko [liste des fichiers]
m68k (portage non officiel) 55,1 ko172,0 ko [liste des fichiers]
mips64el 52,0 ko243,0 ko [liste des fichiers]
ppc64 (portage non officiel) 76,5 ko620,0 ko [liste des fichiers]
ppc64el 74,7 ko492,0 ko [liste des fichiers]
riscv64 71,2 ko304,0 ko [liste des fichiers]
s390x 69,9 ko360,0 ko [liste des fichiers]
sh4 (portage non officiel) 61,2 ko229,0 ko [liste des fichiers]
sparc64 (portage non officiel) 49,1 ko1 066,0 ko [liste des fichiers]
x32 (portage non officiel) 55,6 ko172,0 ko [liste des fichiers]