在本教程中，我们学习如何安装 cvc3 Ubuntu 18.04。 cvc3 是 SMT 问题的自动定理证明器
介绍
在本教程中我们学习如何安装 cvc3 在 Ubuntu 18.04。
什么是 cvc3
cvc3 是：
CVC3 是可满足性模理论 (SMT) 问题的自动定理证明器。 它可以用来证明大量内置逻辑理论及其组合中一阶公式的有效性（或双重可满足性）。
CVC3 是一系列流行的 SMT 证明机的最后一个后代，它起源于斯坦福大学的 SVC 系统。 特别是，它建立在其最新前身 CVC Lite 的代码库之上。 其高级设计遵循 Sammy 证明器的设计。
CVC3 使用具有多态类型的一阶逻辑版本，并具有多种功能，包括：
- 几个内置的基础理论：有理数和整数线性算术、数组、元组、记录、归纳数据类型、位向量以及未解释函数符号的等式；
- 支持量词；
- 基于文本的交互式界面；
- 丰富的 C、C++ 和 Java API，用于嵌入其他系统；
- 证明和模型生成能力；
- 谓词子类型化；
- 其用于研究或商业目的基本上没有限制（参见许可证）。
该软件包包含 CVC3 命令行程序。
有三种安装方法 cvc3 在 Ubuntu 18.04。 我们可以用 apt-get, apt 和 aptitude。 在以下部分中，我们将描述每种方法。 您可以选择其中之一。
使用 apt-get 安装 cvc3
更新 apt 数据库 apt-get 使用以下命令。
更新apt数据库后，我们可以安装 cvc3 使用 apt-get 通过运行以下命令：
sudo apt-get -y install cvc3
使用 apt 安装 cvc3
更新 apt 数据库 apt 使用以下命令。
更新apt数据库后，我们可以安装 cvc3 使用 apt 通过运行以下命令：
使用 aptitude 安装 cvc3
如果您想遵循此方法，您可能需要先安装 aptitude，因为 aptitude 通常不会默认安装 Ubuntu。 更新 apt 数据库 aptitude 使用以下命令。
更新apt数据库后，我们可以安装 cvc3 使用 aptitude 通过运行以下命令：
sudo aptitude -y install cvc3
如何卸载 cvc3 Ubuntu 18.04
仅卸载 cvc3 打包我们可以使用以下命令：
卸载cvc3及其依赖项
卸载 cvc3 及其不再需要的依赖项 Ubuntu 18.04，我们可以使用以下命令：
sudo apt-get -y autoremove cvc3
删除 cvc3 配置和数据
去除 cvc3 配置和数据来自 Ubuntu 18.04我们可以使用以下命令：
sudo apt-get -y purge cvc3
删除 cvc3 配置、数据及其所有依赖项
我们可以使用下面的命令来删除 cvc3 配置、数据及其所有依赖项，我们可以使用以下命令：
sudo apt-get -y autoremove --purge cvc3
参考
概括
在本教程中我们学习如何安装 cvc3 封装在 Ubuntu 18.04 使用不同的包管理工具： apt, apt-get 和 aptitude。
