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/archive/refs/tags/1.1+17.tar.gz
md5=844d99bc531e0713238fe4b6b8511ed1
sha512=2118a95bc4f20da469c13628a9dc3d193717789fb05242cfa38a3a195228a5376c6fa50e8369aa21be5e90e2bc5094a58e319d8fe75a63da925daa52024e8c40
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/mccs/mccs.1.1+17/opam
Required by