Programmes par s-sat.sf.net

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