SUDOKU_SOLVER uses minisat2 to solve sudoku grids. It first encodes a sudoku instance as a CNF formula and then parses the output of minisat2 to output the corresponding complete grid. Two executables files are generated when this project is built. This program uses the LIBCNF.
This documentation was generated using doxygen (as indicated in the footer), a powerfull tool generating a javadoc-style documentation for project written in C, C++, Java and other languages.