Paquet : kissat (4.0.2-1 et autres)

[ 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	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	4.0.1-3	316,2 ko	1 107,0 ko	[liste des fichiers]
amd64	4.0.2-1	349,9 ko	971,0 ko	[liste des fichiers]
arm64	4.0.2-1	307,7 ko	916,0 ko	[liste des fichiers]
armel	4.0.2-1	328,7 ko	979,0 ko	[liste des fichiers]
armhf	4.0.2-1	331,3 ko	787,0 ko	[liste des fichiers]
hppa (portage non officiel)	4.0.2-1	332,5 ko	935,0 ko	[liste des fichiers]
i386	4.0.2-1	355,9 ko	1 066,0 ko	[liste des fichiers]
m68k (portage non officiel)	4.0.2-1	321,6 ko	970,0 ko	[liste des fichiers]
mips64el	4.0.2-1	302,7 ko	1 065,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	4.0.2-1	340,9 ko	1 172,0 ko	[liste des fichiers]
ppc64el	4.0.2-1	339,6 ko	1 108,0 ko	[liste des fichiers]
riscv64	4.0.2-1	352,6 ko	811,0 ko	[liste des fichiers]
s390x	4.0.2-1	339,7 ko	940,0 ko	[liste des fichiers]
sh4 (portage non officiel)	4.0.2-1	413,3 ko	850,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	4.0.2-1	302,0 ko	1 044,0 ko	[liste des fichiers]
x32 (portage non officiel)	4.0.2-1	351,7 ko	938,0 ko	[liste des fichiers]