Paquet : picosat (965-2 et autres)

Liens pour picosat

Ressources Debian :

Télécharger le paquet source picosat :

Responsables :

Ressources externes :

Page d'accueil [fmv.jku.at]

Paquets similaires :

solveur SAT avec gestion de démonstrations et « core »

Malgré la complétude NP des problèmes de satisfaisabilité de formules booléennes (SAT), les solveurs SAT sont souvent capables de trancher dans un délai raisonnable. Comme tous les autres problèmes de complétude NP sont réductibles à SAT, les solveurs sont devenus des outils polyvalents pour cette classe de problèmes.

PicoSAT est un solveur SAT qui s’avère être plus rapide pour des cas industriels que MiniSAT 2.0, et qui peut générer des démonstrations et des « core » en mémoire.

Étiquettes: Domaine: Mathématiques, Mis en œuvre en: C, Rôle: Programme

Autres paquets associés à picosat

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.16) [x32]

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

dep: libc6 (>= 2.17) [arm64, ppc64el]

dep: libc6 (>= 2.31) [sh4]

dep: libc6 (>= 2.34) [riscv64]

dep: libc6 (>= 2.7) [non alpha, arm64, ia64, ppc64el, riscv64, sh4, x32]
dep: libc6.1 (>= 2.31) [ia64]

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

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

Télécharger picosat

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	965-2	98,0 ko	1 115,0 ko	[liste des fichiers]
amd64	965-2	92,3 ko	879,0 ko	[liste des fichiers]
arm64	965-2	84,2 ko	895,0 ko	[liste des fichiers]
armel	965-2	84,9 ko	794,0 ko	[liste des fichiers]
armhf	965-2	83,4 ko	620,0 ko	[liste des fichiers]
hppa (portage non officiel)	965-2	115,1 ko	873,0 ko	[liste des fichiers]
i386	965-2	96,5 ko	866,0 ko	[liste des fichiers]
ia64 (portage non officiel)	965-2	108,4 ko	1 599,0 ko	[liste des fichiers]
m68k (portage non officiel)	965-2	85,3 ko	780,0 ko	[liste des fichiers]
mips64el	965-2	96,0 ko	1 060,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	965-2	100,3 ko	1 463,0 ko	[liste des fichiers]
ppc64el	965-2	100,9 ko	1 261,0 ko	[liste des fichiers]
riscv64	965-2+b1	163,8 ko	2 565,0 ko	[liste des fichiers]
s390x	965-2	86,1 ko	893,0 ko	[liste des fichiers]
sh4 (portage non officiel)	965-2	91,2 ko	692,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	965-2	88,0 ko	1 006,0 ko	[liste des fichiers]
x32 (portage non officiel)	965-2	91,8 ko	812,0 ko	[liste des fichiers]