Řešení SAT problému
Dokumentace (pdf)
Program (zip)