How To Install ocaml-mccs on Fedora 36

In this tutorial we learn how to install ocaml-mccs in Fedora 36. ocaml-mccs is Multi Criteria CUDF Solver with OCaml bindings

Introduction

In this tutorial we learn how to install ocaml-mccs on Fedora 36.

What is ocaml-mccs

mccs (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project. This project contains a stripped-down version of the mccs solver, taken from snapshot 1.1, with a binding as an OCaml library, and building with dune. The binding enables interoperation with binary CUDF data from the OCaml CUDF library, and removes the native C++ parsers and printers.

We can use yum or dnf to install ocaml-mccs on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-mccs.

Install ocaml-mccs on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install ocaml-mccs using dnf by running the following command:

sudo dnf -y install ocaml-mccs

Install ocaml-mccs on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install ocaml-mccs using yum by running the following command:

sudo yum -y install ocaml-mccs

How To Uninstall ocaml-mccs on Fedora 36

To uninstall only the ocaml-mccs package we can use the following command:

sudo dnf remove ocaml-mccs

ocaml-mccs Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/11
/usr/lib/.build-id/11/06fc02c9ca188dd2ab5e094bf5718a2610d0a2
/usr/lib/.build-id/91
/usr/lib/.build-id/91/6be76b5d6aad97478e8c3784fdf8b2c2cbf2a4
/usr/lib/.build-id/b9
/usr/lib/.build-id/b9/a80736aa47e499ee32b6358abb7d7c42922f52
/usr/lib64/ocaml/mccs
/usr/lib64/ocaml/mccs/META
/usr/lib64/ocaml/mccs/dune-package
/usr/lib64/ocaml/mccs/glpk
/usr/lib64/ocaml/mccs/glpk/shared
/usr/lib64/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.a
/usr/lib64/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cma
/usr/lib64/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cmxa
/usr/lib64/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cmxs
/usr/lib64/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.cmi
/usr/lib64/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.cmt
/usr/lib64/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.cmx
/usr/lib64/ocaml/mccs/glpk/shared/ocaml_mccs_glpk.ml
/usr/lib64/ocaml/mccs/mccs.cma
/usr/lib64/ocaml/mccs/mccs.cmi
/usr/lib64/ocaml/mccs/mccs.cmt
/usr/lib64/ocaml/mccs/mccs.cmti
/usr/lib64/ocaml/mccs/mccs.cmxs
/usr/lib64/ocaml/mccs/mccs.ml
/usr/lib64/ocaml/mccs/opam
/usr/lib64/ocaml/stublibs/dllmccs_stubs.so
/usr/share/doc/ocaml-mccs
/usr/share/doc/ocaml-mccs/README.md
/usr/share/licenses/ocaml-mccs
/usr/share/licenses/ocaml-mccs/LICENCE

References

Summary

In this tutorial we learn how to install ocaml-mccs on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).