Smart Sudoku Solver 1.0.0

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

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.

historia wersji

  • Wersja 1.0.0 opublikowany na 2010-01-18
    Kilka poprawek i aktualizacji
  • Wersja 1.0.0 opublikowany na 2010-01-17

Szczegóły programu