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

Dune Dependency

Authors

Maintainers

Sources

mccs-1.1+18.tar.gz
md5=3fd6f609a02f3357f57570750fcacde0
sha512=9b2c6c32a2851dca2e2089c39b2894930a9463a0d70b78172e851e338a2f9990573be981023e3eef65351c9cc12f955ad3dc26e3bf4b83525b9d79ee9dbb4a99

doc/index.html

mccs

API

Library mccs

Library mccs_glpk

OCaml

Innovation. Community. Security.