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
- Kategorii: Gry & Rozrywka > Innych
- Wydawca: Dero Gharibian
- Licencji: Wolna
- Cena: N/A
- Wersja: 1.0.0
- Platformy: android