mccsversion

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

AuthorsClaude Michel <claude.michel@unice.fr> and Louis Gesbert <louis.gesbert@ocamlpro.com>
LicensesLGPL-2.1-only WITH OCaml-LGPL-linking-exception, BSD-3-clause and GPL-3.0-only
Published
Homepagehttps://www.i3s.unice.fr/~cpjm/misc/
Issue Trackerhttps://github.com/ocaml-opam/ocaml-mccs/issues
MaintainerLouis Gesbert <louis.gesbert@ocamlpro.com>
Dependencies
Source [http] https://github.com/ocaml-opam/ocaml-mccs/releases/download/1.1+18/mccs-1.1+18.tar.gz
md5=3fd6f609a02f3357f57570750fcacde0
sha512=9b2c6c32a2851dca2e2089c39b2894930a9463a0d70b78172e851e338a2f9990573be981023e3eef65351c9cc12f955ad3dc26e3bf4b83525b9d79ee9dbb4a99
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/mccs/mccs.1.1+18/opam
Required by