在本教程中，我们学习如何安装 cvc4 Ubuntu 18.04。 cvc4 是 SMT 问题的自动定理证明器
介绍
在本教程中我们学习如何安装 cvc4 在 Ubuntu 18.04。
什么是 cvc4
cvc4 是：
CVC4 是一种针对可满足性模理论 (SMT) 问题的高效自动定理证明器。 它可以用来证明大量内置逻辑理论及其组合中一阶公式的有效性（或双重可满足性）。
CVC4 旨在成为一个开放且可扩展的 SMT 引擎，它可以用作独立工具或库。 它是 Cooperative Validity Checker 系列工具（还包括 CVC、CVC Lite 和 CVC3）中的第四个工具。 CVC4 旨在提高其前身的性能并减少内存开销。
该软件包包含使用 CVC4 作为独立工具所需的二进制文件。
有三种安装方法 cvc4 在 Ubuntu 18.04。 我们可以用 apt-get, apt 和 aptitude。 在以下部分中，我们将描述每种方法。 您可以选择其中之一。
使用 apt-get 安装 cvc4
更新 apt 数据库 apt-get 使用以下命令。
更新apt数据库后，我们可以安装 cvc4 使用 apt-get 通过运行以下命令：
sudo apt-get -y install cvc4
使用 apt 安装 cvc4
更新 apt 数据库 apt 使用以下命令。
更新apt数据库后，我们可以安装 cvc4 使用 apt 通过运行以下命令：
使用 aptitude 安装 cvc4
如果您想遵循此方法，您可能需要先安装 aptitude，因为 aptitude 通常不会默认安装 Ubuntu。 更新 apt 数据库 aptitude 使用以下命令。
更新apt数据库后，我们可以安装 cvc4 使用 aptitude 通过运行以下命令：
sudo aptitude -y install cvc4
如何卸载 cvc4 Ubuntu 18.04
仅卸载 cvc4 打包我们可以使用以下命令：
卸载cvc4及其依赖项
卸载 cvc4 及其不再需要的依赖项 Ubuntu 18.04，我们可以使用以下命令：
sudo apt-get -y autoremove cvc4
删除 cvc4 配置和数据
去除 cvc4 配置和数据来自 Ubuntu 18.04我们可以使用以下命令：
sudo apt-get -y purge cvc4
删除 cvc4 配置、数据及其所有依赖项
我们可以使用下面的命令来删除 cvc4 配置、数据及其所有依赖项，我们可以使用以下命令：
sudo apt-get -y autoremove --purge cvc4
参考
概括
在本教程中我们学习如何安装 cvc4 封装在 Ubuntu 18.04 使用不同的包管理工具： apt, apt-get 和 aptitude。
