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

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

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 Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 1.1+13-1+b2 72,7 ko360,0 ko [liste des fichiers]
arm64 1.1+13-1+b2 69,0 ko344,0 ko [liste des fichiers]
armel 1.1+13-1+b2 48,7 ko156,0 ko [liste des fichiers]
armhf 1.1+13-1+b2 63,5 ko242,0 ko [liste des fichiers]
i386 1.1+13-1+b2 78,2 ko362,0 ko [liste des fichiers]
mips64el 1.1+13-1+b2 52,2 ko211,0 ko [liste des fichiers]
mipsel 1.1+13-1+b2 53,4 ko199,0 ko [liste des fichiers]
ppc64el 1.1+13-1+b2 76,4 ko492,0 ko [liste des fichiers]
s390x 1.1+13-1+b2 67,5 ko360,0 ko [liste des fichiers]