Programas por s-sat.sf.net

Durante un curso en University "La Sapienza" en Roma desarrollé un solucionador SAT totalmente en funcionamiento basado en la propagación y retroceso de unidades; puede leer archivos DIMACS y procesar fórmulas cnf d