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+16.tar.gz
md5=4446765f76586baee995c53c2701974b
sha512=bd9fd542639a2b27026291c78f63a96b03c2feae1ae6ca8828962a991b075c851a0bdbf8fc1b9f8cbfd17f87a43d2dfc46b61e8d986dad878251140892ef4491
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/mccs/mccs.1.1+16/opam
Required by