Paket: libmccs-ocaml (1.1+19-1 und andere)

[ Quellcode: 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

Andere Pakete mit Bezug zu libmccs-ocaml

• dep: libc6 (>= 2.38) [nicht alpha, ia64, loong64, sh4]

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

  dep: libc6 (>= 2.40) [loong64, sh4]

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

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb

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

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

  GCC Support-Bibliothek

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

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

  GCC Support-Bibliothek

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

  GCC Support-Bibliothek

• dep: libglpk40 (>= 4.59) [nicht ia64]

  linear programming kit with integer (MIP) support

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

  GNU-Implementierung der Standard-C++-Bibliothek (Version 3)

• dep: libstdlib-ocaml-bdrm4 [nicht amd64, arm64, hppa, ia64, ppc64el, riscv64, s390x]

  virtuelles Paket, bereitgestellt durch libstdlib-ocaml

• dep: libstdlib-ocaml-fxjy5 [amd64, arm64, ppc64el, riscv64]

  virtuelles Paket, bereitgestellt durch libstdlib-ocaml

• dep: libstdlib-ocaml-ke4j9 [s390x]

  virtuelles Paket, bereitgestellt durch libstdlib-ocaml

• dep: libstdlib-ocaml-rg5q2 [ia64]

  virtuelles Paket, bereitgestellt durch libstdlib-ocaml

• dep: libstdlib-ocaml-ye7o9 [hppa]

  virtuelles Paket, bereitgestellt durch libstdlib-ocaml

• dep: libunwind8 [ia64]

  Bibliothek zur Ermittlung der Aufrufkette eines Programms - Laufzeit

• dep: ocaml-base-4.14.1 [ia64]

  virtuelles Paket, bereitgestellt durch ocaml-base

• dep: ocaml-base-5.3.0 [nicht ia64]

  virtuelles Paket, bereitgestellt durch ocaml-base

libmccs-ocaml herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	1.1+19-1+b1	55,8 kB	227,0 kB	[Liste der Dateien]
amd64	1.1+19-1+b1	74,7 kB	349,0 kB	[Liste der Dateien]
arm64	1.1+19-1+b1	68,9 kB	489,0 kB	[Liste der Dateien]
armel	1.1+19-1+b1	49,7 kB	161,0 kB	[Liste der Dateien]
armhf	1.1+19-1+b1	50,0 kB	161,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	1.1+19-1+b2	64,6 kB	202,0 kB	[Liste der Dateien]
i386	1.1+19-1+b1	62,1 kB	177,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	1.1+17-1	66,0 kB	292,0 kB	[Liste der Dateien]
loong64 (inoffizielle Portierung)	1.1+19-1+b1	54,8 kB	225,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	1.1+19-1+b1	55,4 kB	169,0 kB	[Liste der Dateien]
mips64el	1.1+19-1+b1	55,1 kB	239,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	1.1+19-1+b1	59,9 kB	290,0 kB	[Liste der Dateien]
ppc64el	1.1+19-1+b1	76,2 kB	489,0 kB	[Liste der Dateien]
riscv64	1.1+19-1+b1	71,4 kB	285,0 kB	[Liste der Dateien]
s390x	1.1+19-1+b1	71,1 kB	353,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	1.1+19-1+b1	60,8 kB	162,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	1.1+19-1+b1	50,1 kB	1.063,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	1.1+19-1+b1	58,0 kB	169,0 kB	[Liste der Dateien]