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

Пакет-източник: cvc4 (1.8-3build2) [universe]

Връзки за cvc4

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.

Следните двоични пакети са компилирани от този пакет-източник:

adep: debhelper-compat (= 13)

Пакетът не е наличен
adep: libgmp-dev

Multiprecision arithmetic library developers tools
adep: libcln-dev

Development library for Class Library for Numbers (c++)
adep: antlr3

language tool for constructing recognizers, compilers etc
adep: libantlr3c-dev

ANTLR v3 parser generator C runtime [development files]
adep: libboost-thread-dev

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

GNU readline and history libraries, development files
adep: pkg-config

manage compile and link flags for libraries (transitional package)
adep: cxxtest

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

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

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

cross-platform, open-source make system

Хранилище на изходния код на пакета (СКП: Git): https://salsa.debian.org/science-team/cvc4.git
Хранилище на изходния код на пакета (за разглеждане през браузър): https://salsa.debian.org/science-team/cvc4