a fast, c-based sudoku solver