[ bookworm ] [ trixie ] [ forky ] [ sid ]

Source Package: cvc5 (1.1.2-3)

Links for cvc5

The following binary packages are built from this source package:

adep: chrpath

Tool to edit the rpath in ELF binaries
adep: cmake

cross-platform, open-source make system
adep: cxxtest

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

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

Package not available
adep: dh-sequence-python3

virtual package provided by 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 and history libraries, development files
adep: libsymfpu-dev

Symbolic Floating Point Unit
adep: pkgconf

manage compile and link flags for libraries
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

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/science-team/cvc5.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/science-team/cvc5