tüm seçenekler
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: ocaml-mccs  ]

Paket: libmccs-ocaml-dev (1.1+18-2 ve diğerleri)

libmccs-ocaml-dev için bağlantılar

Screenshot

Debian Kaynakları:

ocaml-mccs Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

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.

libmccs-ocaml-dev ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libmccs-ocaml-dev indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
alpha (resmi olmayan port) 1.1+18-2 80,1 kB445,0 kB [dosya listesi]
amd64 1.1+18-2 80,0 kB371,0 kB [dosya listesi]
arm64 1.1+18-2 78,1 kB379,0 kB [dosya listesi]
armel 1.1+18-2 73,7 kB304,0 kB [dosya listesi]
armhf 1.1+18-2 73,8 kB279,0 kB [dosya listesi]
hppa (resmi olmayan port) 1.1+18-2 84,6 kB337,0 kB [dosya listesi]
i386 1.1+18-2 82,3 kB306,0 kB [dosya listesi]
ia64 (resmi olmayan port) 1.1+17-1 83,4 kB495,0 kB [dosya listesi]
m68k (resmi olmayan port) 1.1+18-2 73,9 kB294,0 kB [dosya listesi]
mips64el 1.1+18-2 79,6 kB421,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 1.1+18-2 78,8 kB406,0 kB [dosya listesi]
ppc64el 1.1+18-2 84,0 kB415,0 kB [dosya listesi]
riscv64 1.1+18-2 173,4 kB1.426,0 kB [dosya listesi]
s390x 1.1+18-2 78,3 kB375,0 kB [dosya listesi]
sh4 (resmi olmayan port) 1.1+18-2 81,1 kB282,0 kB [dosya listesi]
sparc64 (resmi olmayan port) 1.1+18-2 71,3 kB364,0 kB [dosya listesi]
x32 (resmi olmayan port) 1.1+18-2 76,6 kB294,0 kB [dosya listesi]