Program menurut s-sat.sf.net

Selama kursus di Universitas "La Sapienza" di Roma saya mengembangkan pemecah SAT yang sepenuhnya bekerja berdasarkan perambatan unit dan backtracking; dapat membaca file DIMACS dan memproses rumus cnf dengan panjan