An example of C++ Sudoku solver using MiniSat library.
Primary LanguageC++Boost Software License 1.0BSL-1.0