Opam Package mccs.1.1+12

Package info

opam-namemccs
opam-version1.1+12
synopsis MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project
authors
  • Claude Michel <claude.michel@unice.fr>
  • Louis Gesbert <louis.gesbert@ocamlpro.com>
homepagehttp://www.i3s.unice.fr/~cpjm/misc/
readme-fileREADME.md
deps (3)
revdeps (1)
metas (3)
libraries (2)

Package modules

Package sources

mccs

Package files

lib/stublibs/dllmccs_stubs.so
lib/stublibs/dllmccs_glpk_stubs.so
lib/mccs/opam
lib/mccs/mccs.mli
lib/mccs/mccs.ml
lib/mccs/mccs.cmxs
lib/mccs/mccs.cmxa
lib/mccs/mccs.cmx
lib/mccs/mccs.cmti
lib/mccs/mccs.cmt
lib/mccs/mccs.cmi
lib/mccs/mccs.cma
lib/mccs/mccs.a
lib/mccs/libmccs_stubs.a
lib/mccs/glpk/internal/ocaml_mccs_glpk.ml
lib/mccs/glpk/internal/ocaml_mccs_glpk.cmx
lib/mccs/glpk/internal/ocaml_mccs_glpk.cmt
lib/mccs/glpk/internal/ocaml_mccs_glpk.cmi
lib/mccs/glpk/internal/mccs_glpk.cmxs
lib/mccs/glpk/internal/mccs_glpk.cmxa
lib/mccs/glpk/internal/mccs_glpk.cma
lib/mccs/glpk/internal/mccs_glpk.a
lib/mccs/glpk/internal/libmccs_glpk_stubs.a
lib/mccs/glpk/internal
lib/mccs/glpk
lib/mccs/dune-package
lib/mccs/META
lib/mccs
doc/mccs/README.md
doc/mccs