Paquet : kissat (4.0.1-3)

[ Paquet source : kissat  ]

Keep it simple and clean bare metal SAT solver

Kissat is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation.

This package contains binaries needed to use Kissat as a stand-alone tool.

Autres paquets associés à kissat

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

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

  dep: libc6 (>= 2.40) [sh4]

• dep: libc6.1 (>= 2.34) [alpha]

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

• sug: bzip2

  compresseur de fichier par tri de blocs de grande qualité – utilitaires

• sug: gzip (>= 1)

  utilitaires de compression GNU

• sug: p7zip

  paquet de transition
  un paquet virtuel est également fourni par 7zip

• 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)	316,2 ko	1 107,0 ko	[liste des fichiers]
amd64	349,1 ko	967,0 ko	[liste des fichiers]
arm64	307,5 ko	916,0 ko	[liste des fichiers]
armel	328,8 ko	963,0 ko	[liste des fichiers]
armhf	330,8 ko	727,0 ko	[liste des fichiers]
hppa (portage non officiel)	332,2 ko	935,0 ko	[liste des fichiers]
i386	355,9 ko	1 062,0 ko	[liste des fichiers]
m68k (portage non officiel)	318,0 ko	962,0 ko	[liste des fichiers]
mips64el	301,7 ko	1 001,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	340,2 ko	1 172,0 ko	[liste des fichiers]
ppc64el	339,0 ko	1 108,0 ko	[liste des fichiers]
riscv64	351,7 ko	807,0 ko	[liste des fichiers]
s390x	339,3 ko	936,0 ko	[liste des fichiers]
sh4 (portage non officiel)	413,4 ko	850,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	301,4 ko	1 044,0 ko	[liste des fichiers]
x32 (portage non officiel)	351,4 ko	934,0 ko	[liste des fichiers]