Programy według s-sat.sf.net

Podczas kursu na Uniwersytecie & La Sapienza & w Rzymie opracowałem w pełni działający solver SAT oparty na propagacji jednostki i wycofywaniu; może odczytywać pliki DIMACS i przetwarzać formuły cnf o dowolnej długośc