SAT solver (MiniSat) gebaseerd Sudoku oplosser. Biedt gebruikers de mogelijkheid om te herhalen door middel van alle mogelijke oplossingen. Gebruikt native code; getest op G1/ADP1.
versiegeschiedenis
- Versie 1.0.0 geplaatst op 2010-01-18
Verschillende oplossingen en updates - Versie 1.0.0 geplaatst op 2010-01-17
Programmadetails
- Categorie: Games & Entertainment > Andere
- Publisher: Dero Gharibian
- Licentie: Gratis
- Prijs: N/A
- Versie: 1.0.0
- Platform: android