wszystkie opcje
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: ocaml-mccs  ]

Pakiet: libmccs-ocaml (1.1+19-1 i inne)

Odnośniki dla libmccs-ocaml

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego ocaml-mccs:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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

Inne pakiety związane z libmccs-ocaml

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libmccs-ocaml

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
alpha (port nieoficjalny) 1.1+19-1+b1 55,8 KiB227,0 KiB [lista plików]
amd64 1.1+19-1+b1 74,7 KiB349,0 KiB [lista plików]
arm64 1.1+19-1+b1 68,9 KiB489,0 KiB [lista plików]
armel 1.1+19-1+b1 49,7 KiB161,0 KiB [lista plików]
armhf 1.1+19-1+b1 50,0 KiB161,0 KiB [lista plików]
hppa (port nieoficjalny) 1.1+19-1+b2 64,6 KiB202,0 KiB [lista plików]
i386 1.1+19-1+b1 62,1 KiB177,0 KiB [lista plików]
ia64 (port nieoficjalny) 1.1+17-1 66,0 KiB292,0 KiB [lista plików]
loong64 (port nieoficjalny) 1.1+19-1+b1 54,8 KiB225,0 KiB [lista plików]
m68k (port nieoficjalny) 1.1+19-1+b1 55,4 KiB169,0 KiB [lista plików]
mips64el 1.1+19-1+b1 55,1 KiB239,0 KiB [lista plików]
ppc64 (port nieoficjalny) 1.1+19-1+b1 59,9 KiB290,0 KiB [lista plików]
ppc64el 1.1+19-1+b1 76,2 KiB489,0 KiB [lista plików]
riscv64 1.1+19-1+b1 71,4 KiB285,0 KiB [lista plików]
s390x 1.1+19-1+b1 71,1 KiB353,0 KiB [lista plików]
sh4 (port nieoficjalny) 1.1+19-1+b1 60,8 KiB162,0 KiB [lista plików]
sparc64 (port nieoficjalny) 1.1+19-1+b1 50,1 KiB1 063,0 KiB [lista plików]
x32 (port nieoficjalny) 1.1+19-1+b1 58,0 KiB169,0 KiB [lista plików]