package mccs

  1. Overview
  2. No Docs
MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project

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+10.tar.gz
md5=21fa1652179d47baebd2e3f3cfdbf1d7
sha512=a22a0b7abf32950f234f43d45e69c4186f81b5c55b3ec0f8c25d13a59250c0690ac109b9022aeb8b48744c8e78c48cdb7e9c31ee1072e28464f9c3a9f0c1ca8e

Description

Published: 25 Jul 2019

Dependencies (4)

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

Dev Dependencies

None

Used by (1)

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

Conflicts

None