Paquet : boolector (1.5.118.6b56be4.121013-1.3) [debports]

Liens pour boolector

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

Responsables :

Ressources externes :

Page d'accueil [fmv.jku.at]

Paquets similaires :

libcvc4-7
libcvc4-4
libcvc4-5
libcvc4parser7
libcvc4parser4
libcvc4parser5
cvc4
libcvc4-dev
libsymfpu-dev
haskell-what4-utils
libcvc5-1

solveur SMT pour les vecteurs de bits et les tableaux

Boolector est un solveur SMT (« satisfiability modulo theories ») efficace pour la théorie sans quantificateur de tableaux de bits combinée à l’extension de la théorie sans quantificateur de tableaux.

Autres paquets associés à boolector

dépendances

recommandations

suggestions

enhances

dep: libc6.1 (>= 2.35)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb

Télécharger boolector

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
ia64 (portage non officiel)	391,7 ko	1 800,0 ko	[liste des fichiers]