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+19/mccs-1.1+19.tar.gz
md5=f852da188bf7de20e64be2fce0e48e0a
sha512=9b6ab739f85c163668573887cc9647cd8ef7fd0ad155a72819dbd4b6a243af4ba8b7e5678492f856d864471652ddcfaeed05da47b972a65ac1cd9e072ba88dc5
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/mccs/mccs.1.1+19/opam
Required by