SAT solver (MiniSat) based Sudoku solver. Provides users the ability to iterate through all possible solutions. Uses native code; tested on G1/ADP1.
VERSION HISTORY
- Version 1.0.0 posted on 2010-01-18
Several fixes and updates - Version 1.0.0 posted on 2010-01-17
Program Details
- Category: Games & Entertainment > Other
- Publisher: Dero Gharibian
- License: Free
- Price: N/A
- Version: 1.0.0
- Platform: android