všetky možnosti
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Zdroj: ocaml-mccs  ]

Balík: libmccs-ocaml (1.1+19-1 a iné)

Odkazy pre libmccs-ocaml

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík ocaml-mccs:

Správcovia:

Externé zdroje:

Podobné balíky:

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

Ostatné balíky súvisiace s balíkom libmccs-ocaml

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libmccs-ocaml

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
alpha (neoficiálny port) 1.1+19-1+b2 55.8 kB227.0 kB [zoznam súborov]
amd64 1.1+19-1+b2 74.7 kB349.0 kB [zoznam súborov]
arm64 1.1+19-1+b2 68.9 kB489.0 kB [zoznam súborov]
armel 1.1+19-1+b2 49.6 kB161.0 kB [zoznam súborov]
armhf 1.1+19-1+b2 50.0 kB161.0 kB [zoznam súborov]
hppa (neoficiálny port) 1.1+19-1+b3 64.6 kB202.0 kB [zoznam súborov]
i386 1.1+19-1+b2 62.0 kB177.0 kB [zoznam súborov]
ia64 (neoficiálny port) 1.1+17-1 66.0 kB292.0 kB [zoznam súborov]
loong64 (neoficiálny port) 1.1+19-1+b2 55.0 kB225.0 kB [zoznam súborov]
m68k (neoficiálny port) 1.1+19-1+b2 55.5 kB169.0 kB [zoznam súborov]
mips64el 1.1+19-1+b2 55.1 kB239.0 kB [zoznam súborov]
ppc64 (neoficiálny port) 1.1+19-1+b2 59.8 kB290.0 kB [zoznam súborov]
ppc64el 1.1+19-1+b2 76.2 kB489.0 kB [zoznam súborov]
riscv64 1.1+19-1+b2 72.0 kB285.0 kB [zoznam súborov]
s390x 1.1+19-1+b2 71.0 kB353.0 kB [zoznam súborov]
sh4 (neoficiálny port) 1.1+19-1+b2 60.8 kB162.0 kB [zoznam súborov]
sparc64 (neoficiálny port) 1.1+19-1+b2 50.1 kB1,063.0 kB [zoznam súborov]
x32 (neoficiálny port) 1.1+19-1+b2 57.9 kB169.0 kB [zoznam súborov]