[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

Paquet source : cvc4 (1.8-2)

Liens pour cvc4

Les paquets binaires suivants sont compilés à partir de ce paquet source :

adep: debhelper-compat (= 13)

Paquet indisponible
adep: libgmp-dev

Multiprecision arithmetic library developers tools
adep: libcln-dev

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

Outil de langage pour la construction d'analyseurs, compilateurs etc.
adep: libantlr3c-dev

exécutable en C du générateur d'analyseur ANTLR version 3 — fichiers de développement
adep: libboost-thread-dev

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

Bibliothèques GNU readline et GNU history, fichiers de développement
adep: libcryptominisat5-dev

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

gestion des drapeaux de compilation et d'édition de lien pour les bibliothèques
adep: cxxtest

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

langage orienté objet interactif de haut niveau – version par défaut de Python 3
adep: python3-toml

bibliothèque pour Tom's Obvious, Minimal Language – Python 3.x
adep: cmake

système make multiplate-forme

Dépôt Debian des paquets source (VCS: Git): https://salsa.debian.org/science-team/cvc4.git
Dépôt Debian des paquets source (interface web): https://salsa.debian.org/science-team/cvc4