S-SAT - Sapienza SAT 06
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 3.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur S-SAT - Sapienza SAT
Au cours d’un cours à l’Université "La Sapienza" à Rome, j’ai développé un solveur SAT entièrement opérationnel basé sur la propagation de l’unité et le retour en arrière; il peut lire les fichiers DIMACS et traiter des formules cnf de toute longueur (il n’y a aucune restriction sur le nombre de littérales).