Dero Gharibian

SAT solver (MiniSat) based Sudoku solver. Provides users the ability to iterate through all possible solutions. Uses native code; tested on G1/ADP1.免費 …