[ bookworm ] [ trixie ] [ sid ]

源码包：cvc5（1.1.2-2）

cvc5 的相关链接

本源码包构建了以下这些二进制包：

adep: chrpath

编辑 ELF 二进制文件中 rpath 的工具
adep: cmake

跨平台、开源的构建系统
adep: cxxtest

lightweight xUnit-like framework for C/C++ applications
adep: cython3

C-Extensions for Python 3
adep: debhelper-compat (= 13)

软件包暂时不可用
adep: dh-sequence-python3

本虚包由这些包填实： dh-python
adep: libboost-thread-dev

portable C++ multi-threading (default version)
adep: libcadical-dev

Simplified Satisfiability Solver (development files)
adep: libcln-dev

Development library for Class Library for Numbers (c++)
adep: libcryptominisat5-dev

development files for the CryptoMiniSat SAT solver
adep: libfl-dev

static library for flex (a fast lexical analyzer generator)
adep: libgmp-dev

Multiprecision arithmetic library developers tools
adep: libreadline-dev

GNU readline 与 history 库，开发文件
adep: libsymfpu-dev

Symbolic Floating Point Unit
adep: pkgconf

管理软件库的编译和链接标志
adep: python3

interactive high-level object-oriented language (default python3 version)
adep: python3-dev

header files and a static library for Python (default)
adep: python3-pyparsing

alternative to creating and executing simple grammars - Python 3.x
adep: python3-pytest

Simple, powerful testing in Python3
adep: python3-setuptools

Python3 Distutils Enhancements
adep: python3-skbuild

improved build system generator for Python C/C++/Fortran/Cython extensions
adep: python3-toml

library for Tom's Obvious, Minimal Language - Python 3.x