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

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

Liens pour libmccs-ocaml-dev

Screenshot

Ressources Debian :

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

Responsables :

Ressources externes :

Paquets similaires :

stripped-down MCCS CUDF solver for OCaml -- development files

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

This package contains development files, necessary to compile OCaml code that uses the ocaml-mccs library.

Autres paquets associés à libmccs-ocaml-dev

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libmccs-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) 1.1+19-1+b1 81,1 ko444,0 ko [liste des fichiers]
amd64 1.1+19-1+b1 79,7 ko359,0 ko [liste des fichiers]
arm64 1.1+19-1+b1 76,2 ko354,0 ko [liste des fichiers]
armel 1.1+19-1+b1 71,3 ko283,0 ko [liste des fichiers]
armhf 1.1+19-1+b1 71,6 ko260,0 ko [liste des fichiers]
hppa (portage non officiel) 1.1+19-1+b2 85,0 ko331,0 ko [liste des fichiers]
i386 1.1+19-1+b1 82,1 ko298,0 ko [liste des fichiers]
ia64 (portage non officiel) 1.1+17-1 83,4 ko495,0 ko [liste des fichiers]
m68k (portage non officiel) 1.1+19-1+b1 73,2 ko293,0 ko [liste des fichiers]
mips64el 1.1+19-1+b1 79,3 ko409,0 ko [liste des fichiers]
ppc64 (portage non officiel) 1.1+19-1+b1 79,2 ko394,0 ko [liste des fichiers]
ppc64el 1.1+19-1+b1 84,2 ko403,0 ko [liste des fichiers]
riscv64 1.1+19-1+b1 178,1 ko1 481,0 ko [liste des fichiers]
s390x 1.1+19-1+b1 77,8 ko364,0 ko [liste des fichiers]
sh4 (portage non officiel) 1.1+19-1+b1 79,9 ko270,0 ko [liste des fichiers]
sparc64 (portage non officiel) 1.1+19-1+b1 71,3 ko354,0 ko [liste des fichiers]
x32 (portage non officiel) 1.1+19-1+b1 76,4 ko283,0 ko [liste des fichiers]