all options
bullseye  ] [  bookworm  ] [  sid  ]
[ Source: ocaml-mccs  ]

Package: libmccs-ocaml-dev (1.1+13-1 and others)

Links for libmccs-ocaml-dev


Debian Resources:

Download Source Package ocaml-mccs:


External Resources:

Similar packages:

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.

Other Packages Related to libmccs-ocaml-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libmccs-ocaml-dev

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 1.1+13-1+b2 75.5 kB489.0 kB [list of files]
amd64 1.1+13-1+b2 71.9 kB398.0 kB [list of files]
arm64 1.1+13-1+b2 71.4 kB408.0 kB [list of files]
armel 1.1+13-1+b2 67.4 kB334.0 kB [list of files]
armhf 1.1+13-1+b2 71.1 kB325.0 kB [list of files]
hppa (unofficial port) 1.1+13-1+b2 79.2 kB372.0 kB [list of files]
i386 1.1+13-1+b2 79.1 kB349.0 kB [list of files]
ia64 (unofficial port) 1.1+13-1+b2 83.7 kB513.0 kB [list of files]
m68k (unofficial port) 1.1+13-1+b2 68.2 kB317.0 kB [list of files]
mips64el 1.1+13-1+b2 74.3 kB463.0 kB [list of files]
mipsel 1.1+13-1+b2 74.7 kB360.0 kB [list of files]
ppc64 (unofficial port) 1.1+13-1+b2 77.7 kB467.0 kB [list of files]
ppc64el 1.1+13-1+b2 78.2 kB454.0 kB [list of files]
riscv64 (unofficial port) 1.1+13-1+b2 171.7 kB1,538.0 kB [list of files]
s390x 1.1+13-1+b2 68.6 kB404.0 kB [list of files]
sh4 (unofficial port) 1.1+13-1+b2 74.2 kB310.0 kB [list of files]
sparc64 (unofficial port) 1.1+13-1+b2 65.4 kB403.0 kB [list of files]
x32 (unofficial port) 1.1+13-1+b2 69.1 kB319.0 kB [list of files]