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+9.tar.gz
md5=95aabb806fe6cbfab92a98b2a88d79c3
sha512=f3327290ace029f2a17e4270d1395238d9adad183f7ea2027efea0b68205b0ace52645556d4e079d6f49ebd943808e2b68c78f00914eb2d557bf18e782376650

Description

Published: 08 Oct 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.2.0~beta1"

Conflicts

None