How To Install ocaml-alt-ergo-parsers-devel on Fedora 36
Introduction
In this tutorial we learn how to install ocaml-alt-ergo-parsers-devel on Fedora 36.
What is ocaml-alt-ergo-parsers-devel
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 development files needed to build applications that use the Alt-Ergo parser library.
We can use yum or dnf to install ocaml-alt-ergo-parsers-devel 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-devel.
Install ocaml-alt-ergo-parsers-devel 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-devel using dnf by running the following command:
sudo dnf -y install ocaml-alt-ergo-parsers-devel
Install ocaml-alt-ergo-parsers-devel 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-devel using yum by running the following command:
sudo yum -y install ocaml-alt-ergo-parsers-devel
How To Uninstall ocaml-alt-ergo-parsers-devel on Fedora 36
To uninstall only the ocaml-alt-ergo-parsers-devel package we can use the following command:
sudo dnf remove ocaml-alt-ergo-parsers-devel
ocaml-alt-ergo-parsers-devel Package Contents on Fedora 36
---
title: "How To Install ocaml-alt-ergo-parsers-devel on Fedora 36"
linkTitle: "ocaml-alt-ergo-parsers-devel"
type: "docs"
description: "In this tutorial we learn how to install ocaml-alt-ergo-parsers-devel in Fedora 36. ocaml-alt-ergo-parsers-devel is Development files for ocaml-alt-ergo-parsers"
date: "2022-08-17"
lastmod: "2022-08-17"
#image: /images/fedora/36/ocaml-alt-ergo-parsers-devel-featured.png
---
## Introduction
In this tutorial we learn how to install `ocaml-alt-ergo-parsers-devel` on Fedora 36.
### What is `ocaml-alt-ergo-parsers-devel`
> 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 development files needed to build applications that use the Alt-Ergo parser library.
We can use `yum` or `dnf` to install `ocaml-alt-ergo-parsers-devel` 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-devel.
## Install ocaml-alt-ergo-parsers-devel on Fedora 36 Using dnf
Update yum database with `dnf` using the following command.
```bash
sudo dnf makecache --refresh
After updating yum database, We can install ocaml-alt-ergo-parsers-devel using dnf by running the following command:
sudo dnf -y install ocaml-alt-ergo-parsers-devel
Install ocaml-alt-ergo-parsers-devel 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-devel using yum by running the following command:
sudo yum -y install ocaml-alt-ergo-parsers-devel
How To Uninstall ocaml-alt-ergo-parsers-devel on Fedora 36
To uninstall only the ocaml-alt-ergo-parsers-devel package we can use the following command:
sudo dnf remove ocaml-alt-ergo-parsers-devel
ocaml-alt-ergo-parsers-devel Package Contents on Fedora 36
/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.a
/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.cmxa
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers.cmt
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers.cmx
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmt
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmti
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmx
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmt
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmti
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmx
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmt
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmti
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmx
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmt
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmx
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmt
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmx
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmt
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmti
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmx
/usr/lib64/ocaml/alt-ergo-parsers/dune-package
/usr/lib64/ocaml/alt-ergo-parsers/myZip.mli
/usr/lib64/ocaml/alt-ergo-parsers/opam
/usr/lib64/ocaml/alt-ergo-parsers/parsers.mli
/usr/lib64/ocaml/alt-ergo-parsers/parsers_loader.mli
/usr/lib64/ocaml/alt-ergo-parsers/psmt2_to_alt_ergo.mli
/usr/lib64/ocaml/alt-ergo-parsers/why_parser.mli
References
Summary
In this tutorial we learn how to install ocaml-alt-ergo-parsers-devel on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
/usr/lib/ocaml/alt-ergo-parsers/AltErgoParsers.a /usr/lib/ocaml/alt-ergo-parsers/AltErgoParsers.cmxa /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers.cmt /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers.cmx /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmt /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmti /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmx /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmt /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmti /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmx /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmt /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmti /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmx /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmt /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmx /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmt /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmx /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmt /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmti /usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmx /usr/lib/ocaml/alt-ergo-parsers/dune-package /usr/lib/ocaml/alt-ergo-parsers/myZip.mli /usr/lib/ocaml/alt-ergo-parsers/opam /usr/lib/ocaml/alt-ergo-parsers/parsers.mli /usr/lib/ocaml/alt-ergo-parsers/parsers_loader.mli /usr/lib/ocaml/alt-ergo-parsers/psmt2_to_alt_ergo.mli /usr/lib/ocaml/alt-ergo-parsers/why_parser.mli
## References
* [ocaml-alt-ergo-parsers-devel website](https://alt-ergo.ocamlpro.com/)
## Summary
In this tutorial we learn how to install `ocaml-alt-ergo-parsers-devel` on [Fedora 36](/fedora/36/) using [yum](/fedora/36/yum/) and [dnf]((/fedora/36/dnf/).
