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

In this tutorial we learn how to install ocaml-alt-ergo-parsers in Fedora 36. ocaml-alt-ergo-parsers is Parser library used by the Alt-Ergo SMT solver

Introduction

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

What is ocaml-alt-ergo-parsers

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 contains the parser library used by the Alt-Ergo SMT solver.

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

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

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

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

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

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

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

sudo dnf remove ocaml-alt-ergo-parsers

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

/usr/lib/.build-id
/usr/lib/.build-id/e2
/usr/lib/.build-id/e2/7bb7ec2a1509a024ccab298aa031f2f38a27dc
/usr/lib64/ocaml/alt-ergo-parsers
/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.cma
/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.cmxs
/usr/lib64/ocaml/alt-ergo-parsers/META
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers.cmi
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmi
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmi
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmi
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmi
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmi
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmi

References

Summary

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

title: “How To Install ocaml-alt-ergo-parsers on Fedora 36” linkTitle: “ocaml-alt-ergo-parsers” type: “docs” description: “In this tutorial we learn how to install ocaml-alt-ergo-parsers in Fedora 36. ocaml-alt-ergo-parsers is Parser library used by the Alt-Ergo SMT solver” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/ocaml-alt-ergo-parsers-featured.png

Introduction

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

What is ocaml-alt-ergo-parsers

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 contains the parser library used by the Alt-Ergo SMT solver.

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

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

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

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

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

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

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

sudo dnf remove ocaml-alt-ergo-parsers

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

/usr/lib/.build-id
/usr/lib/.build-id/c1
/usr/lib/.build-id/c1/ae6a81946076a40b53850a05a8b5f1fe99f99c
/usr/lib/ocaml/alt-ergo-parsers
/usr/lib/ocaml/alt-ergo-parsers/AltErgoParsers.cma
/usr/lib/ocaml/alt-ergo-parsers/AltErgoParsers.cmxs
/usr/lib/ocaml/alt-ergo-parsers/META
/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers.cmi
/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmi
/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmi
/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmi
/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmi
/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmi
/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmi

References

Summary

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