Paket: libmccs-ocaml (1.1+17-1)

[ Kaynak: ocaml-mccs  ]

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

libmccs-ocaml ile İlgili Diğer Paketler

• dep: libc6 (>= 2.14) [amd64]

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

  dep: libc6 (>= 2.16) [x32]

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.37) [sh4]

  dep: libc6 (>= 2.7) [alpha, amd64, arm64, ia64, ppc64el, riscv64, sh4, x32 değil]

• dep: libc6.1 (>= 2.37) [ia64]

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6.1-udeb

  dep: libc6.1 (>= 2.7) [alpha]

• dep: libgcc-s1 (>= 3.0) [armel, armhf, hppa, ia64, m68k değil]

  GCC support library

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  GCC support library

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  GCC support library

• dep: libstdc++6 (>= 13.1)

  GNU Standard C++ Library v3

• dep: libstdlib-ocaml-058x2 [ppc64el]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-dkl58 [i386]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-ep7y0 [amd64]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-fyga0 [arm64]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-gats1 [ppc64]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-rayz1 [armhf]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-rg5q2 [amd64, arm64, armhf, i386, ppc64, ppc64el, riscv64, s390x değil]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-vjut8 [riscv64]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-vneg5 [s390x]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libunwind8 [ia64]

  library to determine the call-chain of a program - runtime

• dep: ocaml-base-4.14.1

  sanal paketi sağlayan ocaml-base

libmccs-ocaml indir

Tüm mevcut mimariler için indir

Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
alpha (resmi olmayan port)	53,8 kB	230,0 kB	[dosya listesi]
amd64	72,4 kB	360,0 kB	[dosya listesi]
arm64	68,7 kB	492,0 kB	[dosya listesi]
armel	49,6 kB	156,0 kB	[dosya listesi]
armhf	63,7 kB	242,0 kB	[dosya listesi]
hppa (resmi olmayan port)	63,0 kB	209,0 kB	[dosya listesi]
i386	77,0 kB	354,0 kB	[dosya listesi]
ia64 (resmi olmayan port)	66,0 kB	292,0 kB	[dosya listesi]
m68k (resmi olmayan port)	55,1 kB	172,0 kB	[dosya listesi]
mips64el	52,0 kB	243,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	76,5 kB	620,0 kB	[dosya listesi]
ppc64el	74,7 kB	492,0 kB	[dosya listesi]
riscv64	71,2 kB	304,0 kB	[dosya listesi]
s390x	69,9 kB	360,0 kB	[dosya listesi]
sh4 (resmi olmayan port)	61,2 kB	229,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	49,1 kB	1.066,0 kB	[dosya listesi]
x32 (resmi olmayan port)	55,6 kB	172,0 kB	[dosya listesi]