package mccs

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

Install

Dune Dependency

Authors

Maintainers

Sources

1.1+4.tar.gz
sha256=c38e894584e7fff3b98a6dbccbc2a4c102c4e7e64ea55f665364d36e0feb7e02
md5=1ff2d73ab5c69e1fb58160213fc2d4c9

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: 11 Nov 2017

Dependencies (4)

  1. conf-c++ build
  2. cudf >= "0.7"
  3. jbuilder >= "1.0+beta14"
  4. ocaml < "4.10"

Dev Dependencies

None

Used by (1)

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

Conflicts

None

OCaml

Innovation. Community. Security.