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

Source Package: cvc4 (1.8-2) [universe]

Links for 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.

Seuraavat binääripaketit on käännetty tästä lähdepaketista:

adep: debhelper-compat (= 13)

Paketti ei saatavilla
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

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