Programas por Dero Gharibian

Solucionador de SAT (MiniSat) solver Sudoku baseado em Sudoku. Fornece aos usuários a capacidade de iterar através de todas as soluções possíveis. Usa código nativo; testado no G1/ADP1.