package mccs

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

Install

www.i3s.unice.fr Readme Edit opam file

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+16.tar.gz
md5=4446765f76586baee995c53c2701974b
sha512=bd9fd542639a2b27026291c78f63a96b03c2feae1ae6ca8828962a991b075c851a0bdbf8fc1b9f8cbfd17f87a43d2dfc46b61e8d986dad878251140892ef4491

Description

Published: 06 Jul 2023

Dependencies (3)

  1. cudf >= "0.7"
  2. dune >= "1.0"
  3. ocaml

Dev Dependencies

None

Used by (2)

  1. opam-check-npm-deps
  2. opam-solver >= "2.0.0~beta5"

Conflicts

None