Windows子系统Ubuntu安装cvc5提示“无法定位软件包”求助

Ubuntu 20.04的默认软件源中没有收录cvc5包，所以直接用apt install会提示找不到。可以通过以下两种方法解决：

方法一：添加cvc5官方PPA（推荐） #

• 更新本地包索引：

  sudo apt update
  

• 安装软件源管理工具（若未安装）：

  sudo apt install software-properties-common
  

• 添加cvc5官方PPA源：

  sudo add-apt-repository ppa:cvc5/cvc5
  

• 再次更新包索引，确保新源生效：

  sudo apt update
  

• 安装cvc5：

  sudo apt install cvc5
  

方法二：从源码编译安装 #

如果PPA源无法使用，可选择源码编译：

• 安装编译所需依赖：

  sudo apt install build-essential cmake git libboost-all-dev libantlr4-runtime-dev
  

• 克隆cvc5仓库：

  git clone --recursive https://github.com/cvc5/cvc5.git
  cd cvc5
  

• 创建编译目录并配置编译参数：

  mkdir build && cd build
  cmake .. -DCMAKE_BUILD_TYPE=Release
  

• 编译并安装（-j$(nproc)会利用所有CPU核心加速编译）：

  make -j$(nproc)
  sudo make install
  

验证安装 #

完成安装后，在终端输入：

cvc5

若进入cvc5的交互命令行界面，说明安装成功。

内容的提问来源于stack exchange，提问作者Fusen