Program menurut Dero Gharibian

Sat solver (MiniSat) berbasis Sudoku solver. Memberikan pengguna kemampuan untuk melakukan iterasi melalui semua solusi yang mungkin. Menggunakan kode asli; diuji pada G1/ADP1.