Paquet : clasp (3.3.5-4)

Liens pour clasp

Ressources Debian :

Télécharger le paquet source clasp :

Responsables :

Ressources externes :

Page d'accueil [www.potassco.org]

Paquets similaires :

solveur d'ensemble de réponses par apprentissage nogood basé sur les conflits

Clasp est un solveur d'ensembles de réponses pour des programmes logiques normaux (étendus). Il combine les capacités de modélisation de haut niveau de la programmation par ensembles de réponses (ASP) avec des techniques de pointe du domaine de la résolution de contraintes booléennes. L'algorithme claps principal se base sur l'apprentissage « nogood » basé sur les conflits qui s'est montré très efficace sur les problèmes de vérification de satisfiabilité (SAT). Contrairement à d'autres solveurs ASP avec apprentissage, clasp ne se base pas sur du logiciel hérité tel qu'un solveur SAT ou un autre solveur ASP existant. Au contraire, clasp a été développé directement pour la résolution d'ensembles de réponses basée sur l'apprentissage « nogood » mené par les conflits. Clasp peut être appliqué comme un solveur ASP (sur le format de sortie LPARSE), comme un solveur SAT (sur le format DIMACS/CNF simplifié) ou comme un solveur PB (sur le format OPB).

Étiquettes: Mis en œuvre en: C++, Rôle: Programme

Autres paquets associés à clasp

dépendances

recommandations

suggestions

enhances

dep: libatomic1 (>= 4.8) [armel, mipsel]

bibliothèque de prise en charge fournissant des fonctions internes __atomic
dep: libc6 (>= 2.30)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libgcc-s1 (>= 3.0) [non armel, armhf, i386, mipsel]

bibliothèque de prise en charge de GCC

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

dep: libgcc-s1 (>= 4.2) [i386, mipsel]
dep: libstdc++6 (>= 6)

bibliothèque standard C++ de GNU v3

rec: gringo

outils de « grounding » pour des programmes logiques (disjonctifs)

Télécharger clasp

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	619,4 ko	1 735,0 ko	[liste des fichiers]
arm64	569,4 ko	1 675,0 ko	[liste des fichiers]
armel	524,1 ko	1 534,0 ko	[liste des fichiers]
armhf	537,1 ko	1 182,0 ko	[liste des fichiers]
i386	677,4 ko	1 850,0 ko	[liste des fichiers]
mips64el	584,3 ko	2 131,0 ko	[liste des fichiers]
mipsel	599,8 ko	2 047,0 ko	[liste des fichiers]
ppc64el	655,8 ko	2 151,0 ko	[liste des fichiers]
s390x	561,8 ko	1 815,0 ko	[liste des fichiers]