How To Install ocaml-alt-ergo-lib on Fedora 36

In this tutorial we learn how to install ocaml-alt-ergo-lib in Fedora 36. ocaml-alt-ergo-lib is Automated theorem prover library

Introduction

In this tutorial we learn how to install ocaml-alt-ergo-lib on Fedora 36.

What is ocaml-alt-ergo-lib

Alt-Ergo is an automated theorem prover implemented in OCaml. It is based on CC(X) - a congruence closure algorithm parameterized by an equational theory X. This algorithm is reminiscent of the Shostak algorithm. Currently CC(X) is instantiated by the theory of linear arithmetics. Alt-Ergo also contains a home made SAT-solver and an instantiation mechanism by which it fully supports quantifiers. This package is the core of Alt-Ergo as an OCaml library.

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

Install ocaml-alt-ergo-lib 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-alt-ergo-lib using dnf by running the following command:

sudo dnf -y install ocaml-alt-ergo-lib

Install ocaml-alt-ergo-lib 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-alt-ergo-lib using yum by running the following command:

sudo yum -y install ocaml-alt-ergo-lib

How To Uninstall ocaml-alt-ergo-lib on Fedora 36

To uninstall only the ocaml-alt-ergo-lib package we can use the following command:

sudo dnf remove ocaml-alt-ergo-lib

ocaml-alt-ergo-lib Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/a3
/usr/lib/.build-id/a3/daf955a450107c558ff5b1d8c4208e5ec2f901
/usr/lib64/ocaml/alt-ergo-lib
/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.cma
/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.cmxs
/usr/lib64/ocaml/alt-ergo-lib/META
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ac.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arith.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Commands.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Config.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Emap.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Errors.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Expr.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Input.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Instances.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Lists.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Loc.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching_types.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumbersInterface.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Options.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Relation.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sig.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sig_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Theory.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Timers.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ty.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typed.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Uf.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Use.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Util.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Var.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Vec.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Version.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmi

References

Summary

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

title: “How To Install ocaml-alt-ergo-lib on Fedora 36” linkTitle: “ocaml-alt-ergo-lib” type: “docs” description: “In this tutorial we learn how to install ocaml-alt-ergo-lib in Fedora 36. ocaml-alt-ergo-lib is Automated theorem prover library” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/ocaml-alt-ergo-lib-featured.png

Introduction

In this tutorial we learn how to install ocaml-alt-ergo-lib on Fedora 36.

What is ocaml-alt-ergo-lib

Alt-Ergo is an automated theorem prover implemented in OCaml. It is based on CC(X) - a congruence closure algorithm parameterized by an equational theory X. This algorithm is reminiscent of the Shostak algorithm. Currently CC(X) is instantiated by the theory of linear arithmetics. Alt-Ergo also contains a home made SAT-solver and an instantiation mechanism by which it fully supports quantifiers. This package is the core of Alt-Ergo as an OCaml library.

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

Install ocaml-alt-ergo-lib 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-alt-ergo-lib using dnf by running the following command:

sudo dnf -y install ocaml-alt-ergo-lib

Install ocaml-alt-ergo-lib 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-alt-ergo-lib using yum by running the following command:

sudo yum -y install ocaml-alt-ergo-lib

How To Uninstall ocaml-alt-ergo-lib on Fedora 36

To uninstall only the ocaml-alt-ergo-lib package we can use the following command:

sudo dnf remove ocaml-alt-ergo-lib

ocaml-alt-ergo-lib Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/98
/usr/lib/.build-id/98/4ada06fcb3fac2900bdfc9a84108703a844e37
/usr/lib/ocaml/alt-ergo-lib
/usr/lib/ocaml/alt-ergo-lib/AltErgoLib.cma
/usr/lib/ocaml/alt-ergo-lib/AltErgoLib.cmxs
/usr/lib/ocaml/alt-ergo-lib/META
/usr/lib/ocaml/alt-ergo-lib/altErgoLib.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ac.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arith.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Commands.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Config.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Emap.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Errors.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Expr.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Input.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Instances.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Lists.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Loc.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching_types.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumbersInterface.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Options.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Relation.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sig.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sig_rel.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Theory.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Timers.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ty.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typed.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Uf.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Use.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Util.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Var.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Vec.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Version.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmi

References

Summary

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