Paquet : kissat (4.0.3-2)

Liens pour kissat

Ressources Debian :

Télécharger le paquet source kissat :

Responsables :

Ressources externes :

Page d'accueil [fmv.jku.at]

Paquets similaires :

solveur SAT bare-metal sans complications

Kissat est un « solveur SAT bare-metal sans complications » écrit en C. C’est un portage de CaDiCaL en C avec des structures de données améliorées, un meilleur ordonnancement du traitement interne, et des algorithmes et une mise en œuvre optimisés.

Ce paquet fournit les binaires nécessaires pour utiliser Kissat comme outil autonome.

Autres paquets associés à kissat

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.38) [non alpha, loong64, sh4]

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

dep: libc6 (>= 2.41) [loong64, sh4]
dep: libc6.1 (>= 2.38) [alpha]

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

sug: 7zip

archiveur de fichiers 7-Zip avec un taux de compression élevé
sug: bzip2

compresseur de fichier par tri de blocs de grande qualité – utilitaires
sug: gzip (>= 1)

utilitaires de compression GNU
sug: xz-utils

utilitaires de compression au format XZ

Télécharger kissat

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	337,3 ko	1 107,0 ko	[liste des fichiers]
amd64	388,2 ko	1 095,0 ko	[liste des fichiers]
arm64	332,4 ko	980,0 ko	[liste des fichiers]
armel	339,9 ko	1 043,0 ko	[liste des fichiers]
armhf	344,4 ko	787,0 ko	[liste des fichiers]
hppa (portage non officiel)	355,4 ko	991,0 ko	[liste des fichiers]
i386	374,5 ko	1 138,0 ko	[liste des fichiers]
loong64 (portage non officiel)	352,8 ko	1 043,0 ko	[liste des fichiers]
m68k (portage non officiel)	347,1 ko	1 042,0 ko	[liste des fichiers]
mips64el	317,8 ko	1 066,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	364,6 ko	1 236,0 ko	[liste des fichiers]
ppc64el	361,8 ko	1 172,0 ko	[liste des fichiers]
riscv64	368,6 ko	839,0 ko	[liste des fichiers]
s390x	352,6 ko	984,0 ko	[liste des fichiers]
sh4 (portage non officiel)	428,7 ko	914,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	314,8 ko	2 068,0 ko	[liste des fichiers]
x32 (portage non officiel)	371,2 ko	1 002,0 ko	[liste des fichiers]