Programas por s-sat.sf.net

Durante um curso na University "La Sapienza" em Roma, desenvolvi um solucionador SAT totalmente funcionando baseado na propagação da unidade e retrocesso; pode ler ficheiros DIMACS e processar fórmulas cnf de qualqu