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

[ Paquet source : boolector ]

Paquet : boolector (1.5.118.6b56be4.121013-1.3 et autres)

Liens pour boolector

Ressources Debian :

Télécharger le paquet source boolector :

Responsable :

Michael Tautschnig (Page QA)

Ressources externes :

Page d'accueil [fmv.jku.at]

Paquets similaires :

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.

Étiquettes: Mis en œuvre en: C, Rôle: Programme

Autres paquets associés à boolector

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.34) [non alpha, ia64, sh4]

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

dep: libc6 (>= 2.36) [sh4]
dep: libc6.1 (>= 2.33) [alpha]

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

dep: libc6.1 (>= 2.35) [ia64]

Télécharger boolector

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	1.5.118.6b56be4.121013-1.3	290,0 ko	979,0 ko	[liste des fichiers]
amd64	1.5.118.6b56be4.121013-1.3	301,8 ko	786,0 ko	[liste des fichiers]
arm64	1.5.118.6b56be4.121013-1.3	257,9 ko	786,0 ko	[liste des fichiers]
armel	1.5.118.6b56be4.121013-1.3	249,4 ko	721,0 ko	[liste des fichiers]
armhf	1.5.118.6b56be4.121013-1.3	255,6 ko	529,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.5.118.6b56be4.121013-1.3	282,6 ko	803,0 ko	[liste des fichiers]
i386	1.5.118.6b56be4.121013-1.3	312,1 ko	889,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.5.118.6b56be4.121013-1.3	391,7 ko	1 800,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.5.118.6b56be4.121013-1.3	236,0 ko	705,0 ko	[liste des fichiers]
mips64el	1.5.118.6b56be4.121013-1.3	272,8 ko	878,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.5.118.6b56be4.121013-1.3	301,6 ko	1 043,0 ko	[liste des fichiers]
ppc64el	1.5.118.6b56be4.121013-1.3	310,1 ko	978,0 ko	[liste des fichiers]
riscv64	1.5.118.6b56be4.121013-1.3+b2	301,6 ko	611,0 ko	[liste des fichiers]
s390x	1.5.118.6b56be4.121013-1.3	279,7 ko	890,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1.5.118.6b56be4.121013-1.3	300,1 ko	593,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.5.118.6b56be4.121013-1.3	249,9 ko	1 044,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.5.118.6b56be4.121013-1.3	294,7 ko	761,0 ko	[liste des fichiers]