Smart Sudoku Solver 1.0.0

Licencji: Wolna ‎Rozmiar pliku: 26.21 MB
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów

O Smart Sudoku Solver

Solver SAT (MiniSat) oparty na solverze Sudoku. Zapewnia użytkownikom możliwość iteracji za pośrednictwem wszystkich możliwych rozwiązań. Używa kodu macierzystego; testowany na G1/ADP1.