Paquet : minisat (1:2.2.1-8)

Liens pour minisat

Ressources Debian :

Télécharger le paquet source minisat2 :

Responsable :

Michael Tautschnig (Page QA)

Ressources externes :

Page d'accueil [minisat.se]

Paquets similaires :

solveur SAT rapide et léger

Malgré la complétude NP du problème de satisfaisabilité de formules booléennes (SAT), les solveurs SAT sont souvent capables de décider pour un problème dans un intervalle raisonnable de temps. Comme tous les problèmes NP-complets sont réductibles à SAT, les solveurs sont devenus des outils d’usage général pour cette classe de problèmes.

MiniSat est un solveur SAT minimaliste au code source ouvert, développé pour aider les chercheurs et les développeurs à débuter avec SAT. Vainqueur de toutes les catégories industrielles de la compétition SAT 2005, MiniSat est une bonne base de départ pour les futurs chercheurs avec SAT et pour les applications utilisant SAT.

Étiquettes: Domaine: Mathématiques, Mis en œuvre en: C++, implemented-in::java, role::program

Autres paquets associés à minisat

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.37) [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

dep: libc6.1 (>= 2.37) [ia64]
dep: libgcc-s1 (>= 3.0) [non armel, armhf, hppa, ia64, m68k, sh4]

bibliothèque de prise en charge de GCC

dep: libgcc-s1 (>= 3.5) [armel, armhf]

dep: libgcc-s1 (>= 4.2) [ia64, sh4]
dep: libgcc-s2 (>= 4.2.1) [m68k]

bibliothèque de prise en charge de GCC
dep: libgcc-s4 (>= 4.1.1) [hppa]

bibliothèque de prise en charge de GCC
dep: libstdc++6 (>= 5)

bibliothèque standard C++ de GNU v3
dep: libunwind8 [ia64]

bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable
dep: zlib1g (>= 1:1.1.4)

Bibliothèque de compression - binaires

Télécharger minisat

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	85,4 ko	545,0 ko	[liste des fichiers]
amd64	81,2 ko	406,0 ko	[liste des fichiers]
arm64	82,0 ko	496,0 ko	[liste des fichiers]
armel	75,8 ko	361,0 ko	[liste des fichiers]
armhf	74,5 ko	329,0 ko	[liste des fichiers]
hppa (portage non officiel)	96,9 ko	381,0 ko	[liste des fichiers]
i386	90,2 ko	386,0 ko	[liste des fichiers]
ia64 (portage non officiel)	97,1 ko	576,0 ko	[liste des fichiers]
m68k (portage non officiel)	76,8 ko	360,0 ko	[liste des fichiers]
mips64el	85,8 ko	540,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	86,9 ko	524,0 ko	[liste des fichiers]
ppc64el	87,1 ko	523,0 ko	[liste des fichiers]
riscv64	147,4 ko	1 120,0 ko	[liste des fichiers]
s390x	83,3 ko	416,0 ko	[liste des fichiers]
sh4 (portage non officiel)	86,5 ko	456,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	78,0 ko	2 365,0 ko	[liste des fichiers]
x32 (portage non officiel)	80,3 ko	367,0 ko	[liste des fichiers]