Programmi di s-sat.sf.net

Durante un corso presso l'Università "La Sapienza" di Roma ho sviluppato un risolutore SAT completamente funzionante basato sulla propagazione delle unità e sul backtracking; può leggere i file DIMACS ed elaborare f