Tarafından Programlar Dero Gharibian

SAT çözücü (MiniSat) tabanlı Sudoku çözücü. Kullanıcılara mümkün olan tüm çözümler aracılığıyla yinelebilme olanağı sağlar. Yerel kodu kullanır; G1/ADP1 üzerinde test edilmiştir.