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+11.tar.gz
md5=9c0038d0e945f742b9320a662566288b
sha512=095393ca63fb591a833a7a37117a80a2e817b437bbcd655301b376f749a3756c8aff26b2fcdebfc5f68b9c30d8971a7ba057f610117516e3e85a3fe7bd3906d0

Description

Published: 12 Dec 2019

Dependencies (4)

  1. conf-c++ build
  2. cudf >= "0.7"
  3. dune >= "1.0"
  4. ocaml

Dev Dependencies

None

Used by (1)

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

Conflicts

None