Programma's van s-sat.sf.net

Tijdens een cursus aan de Universiteit "La Sapienza" in Rome ontwikkelde ik een volledig werkende SAT-oplosser op basis van unit propagatie en backtracking; het kan DIMACS-bestanden lezen en cnf-formules van elke le