package mccs

  1. Overview
  2. No Docs
Multi Criteria CUDF Solver with OCaml bindings

Install

Dune Dependency

www.i3s.unice.fr Edit opam file Versions (14)

Authors

  1. C
    Claude Michel <claude.michel@unice.fr>
  2. L
    Louis Gesbert <louis.gesbert@ocamlpro.com>

Maintainers

  1. L
    Louis Gesbert <louis.gesbert@ocamlpro.com>

Sources

1.1+8.tar.gz
md5=987c4970715713f21e6c79b4f3cba430

Description

This is a stripped-down version of the mccs solver (written in C++), including OCaml bindings based on the cudf library, and the GLPK backend (in C). Note that it also includes some correction fixes, and a few changes not present in the upstream yet.

Published: 30 May 2018

Dependencies (4)

  1. conf-c++ build
  2. cudf >= "0.7"
  3. dune < "1.6.0" | (> "1.6.1" & < "2.0")
  4. ocaml < "4.10"

Dev Dependencies

None

Used by (1)

  1. opam-solver >= "2.0.0~beta5" & < "2.0.1"

Conflicts

None