[ noble ] [ questing ] [ resolute ] [ stonking ]

Källkodspaket: cvc5 (1.3.2-1build1) [universe]

Länkar för cvc5

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

It should generally not be necessary for users to contact the original maintainer.

Följande binärpaket byggs från detta källkodspaket:

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)

Paketet inte tillgängligt
adep: dh-sequence-python3

virtuellt paket som tillhandahålls av dh-python
adep: help2man

Automatic manpage generator
adep: libboost-thread-dev

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

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-pip

Python package installer
adep: python3-pyparsing

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

Simple, powerful testing in Python3
adep: python3-skbuild

improved build system generator for Python C/C++/Fortran/Cython extensions

Debians paketkällkodsarkiv- (VCS: Git): https://salsa.debian.org/science-team/cvc5.git
Debians paketkällkodsarkiv (blädderbart): https://salsa.debian.org/science-team/cvc5