How To Install ocaml-psmt2-frontend on Fedora 36

In this tutorial we learn how to install ocaml-psmt2-frontend in Fedora 36. ocaml-psmt2-frontend is Parser and typechecker for an extension of SMT-LIB 2

Introduction

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

What is ocaml-psmt2-frontend

This package contains a library to parse and typecheck a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.

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

Install ocaml-psmt2-frontend 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-psmt2-frontend using dnf by running the following command:

sudo dnf -y install ocaml-psmt2-frontend

Install ocaml-psmt2-frontend on Fedora 36 Using yum

Update yum database with yum using the following command.

title: "How To Install ocaml-psmt2-frontend on Fedora 36"
sudo yum makecache --refresh
linkTitle: "ocaml-psmt2-frontend"

type: “docs”

description: “In this tutorial we learn how to install ocaml-psmt2-frontend in Fedora 36. ocaml-psmt2-frontend is Parser and typechecker for an extension of SMT-LIB 2” After updating yum database, We can install ocaml-psmt2-frontend using yum by running the following command:

date: “2022-08-17”

lastmod: "2022-08-17"
sudo yum -y install ocaml-psmt2-frontend
#image: /images/fedora/36/ocaml-psmt2-frontend-featured.png

How To Uninstall ocaml-psmt2-frontend on Fedora 36

Introduction

To uninstall only the ocaml-psmt2-frontend package we can use the following command: In this tutorial we learn how to install ocaml-psmt2-frontend on Fedora 36.

### What is `ocaml-psmt2-frontend`
sudo dnf remove ocaml-psmt2-frontend

This package contains a library to parse and typecheck a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.

ocaml-psmt2-frontend Package Contents on Fedora 36

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

## Install ocaml-psmt2-frontend 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-psmt2-frontend using dnf by running the following command:

sudo dnf -y install ocaml-psmt2-frontend

Install ocaml-psmt2-frontend 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-psmt2-frontend using yum by running the following command:

sudo yum -y install ocaml-psmt2-frontend

How To Uninstall ocaml-psmt2-frontend on Fedora 36

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

sudo dnf remove ocaml-psmt2-frontend

ocaml-psmt2-frontend Package Contents on Fedora 36

/usr/bin/psmt2-frontend_bin
/usr/lib/.build-id
/usr/lib/.build-id/14
/usr/lib/.build-id/14/d68d3308444764599e8ad8552f2684c25639d7
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/7a02ec8e28a0137dc3c61b16bc8da89a32e230
/usr/lib64/ocaml/psmt2-frontend
/usr/lib64/ocaml/psmt2-frontend/META
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi
/usr/lib64/ocaml/psmt2-frontend_bin
/usr/lib64/ocaml/psmt2-frontend_bin/META
/usr/lib64/ocaml/psmt2-frontend_bin/dune-package
/usr/lib64/ocaml/psmt2-frontend_bin/opam
/usr/share/doc/ocaml-psmt2-frontend
/usr/share/doc/ocaml-psmt2-frontend/CHANGES.md
/usr/share/doc/ocaml-psmt2-frontend/README.md
/usr/share/licenses/ocaml-psmt2-frontend
/usr/share/licenses/ocaml-psmt2-frontend/LICENSE

References

Summary

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

/usr/bin/psmt2-frontend_bin /usr/lib/.build-id /usr/lib/.build-id/2f /usr/lib/.build-id/2f/7c9afb900014fcee5345b1fb5bc7860b574ef9 /usr/lib/.build-id/6e /usr/lib/.build-id/6e/164875734c929abd5f918e704bc6fd2a2304c0 /usr/lib/ocaml/psmt2-frontend /usr/lib/ocaml/psmt2-frontend/META /usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cma /usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmi /usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmxs /usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi /usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi /usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi /usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi /usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi /usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi /usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi /usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi /usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi /usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi /usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi /usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi /usr/lib/ocaml/psmt2-frontend_bin /usr/lib/ocaml/psmt2-frontend_bin/META /usr/lib/ocaml/psmt2-frontend_bin/dune-package /usr/lib/ocaml/psmt2-frontend_bin/opam /usr/share/doc/ocaml-psmt2-frontend /usr/share/doc/ocaml-psmt2-frontend/CHANGES.md /usr/share/doc/ocaml-psmt2-frontend/README.md /usr/share/licenses/ocaml-psmt2-frontend /usr/share/licenses/ocaml-psmt2-frontend/LICENSE


## References

* [ocaml-psmt2-frontend website](https://github.com/OCamlPro-Coquera/psmt2-frontend)

## Summary

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