How To Install yices-tools on Fedora 36

In this tutorial we learn how to install yices-tools in Fedora 36. yices-tools is Command line tools that use the yices library

Introduction

In this tutorial we learn how to install yices-tools on Fedora 36.

What is yices-tools

Command line tools that use the yices library.

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

Install yices-tools 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 yices-tools using dnf by running the following command:

sudo dnf -y install yices-tools

Install yices-tools 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 yices-tools using yum by running the following command:

sudo yum -y install yices-tools

How To Uninstall yices-tools on Fedora 36

To uninstall only the yices-tools package we can use the following command:

sudo dnf remove yices-tools

yices-tools Package Contents on Fedora 36

/usr/bin/yices
/usr/bin/yices-sat
/usr/bin/yices-smt
/usr/bin/yices-smt2
/usr/lib/.build-id
/usr/lib/.build-id/1c
/usr/lib/.build-id/1c/5a8ccf32185698120f4db646877d33ae6b466a
/usr/lib/.build-id/35
/usr/lib/.build-id/35/970b2904d2f1f15b2ee675acdaf25904e0f99b
/usr/lib/.build-id/a8
/usr/lib/.build-id/a8/80932b68ae296dfb65678566de6367259b05cd
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/31d4be3dd521ec66f70dffcafa8db07aa3adfe
/usr/share/man/man1/yices-sat.1.gz
/usr/share/man/man1/yices-smt.1.gz
/usr/share/man/man1/yices-smt2.1.gz
/usr/share/man/man1/yices.1.gz

References

Summary

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