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

Zdrojový balík: cvc4 (1.8-2) [universe]

Odkazy pre 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.

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

adep: debhelper-compat (= 13)

Balík nie je dostupný
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: libcryptominisat5-dev

development files for the CryptoMiniSat SAT solver
adep: pkg-config

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

Úložisko zdrojových balíkov Debianu (VCS: Git): https://salsa.debian.org/science-team/cvc4.git
Úložisko zdrojových balíkov Debianu (možno prezerať): https://salsa.debian.org/science-team/cvc4