make SudokuSolver publicly available.
We could use this in some simple tests for solving boolean theory.
@@ -290,7 +290,7 @@ public class Sudoku {
public static class BooleanBasedSudokuSolver extends SudokuSolver<BooleanFormula[][][]> {
- private BooleanBasedSudokuSolver(SolverContext context) {
+ public BooleanBasedSudokuSolver(SolverContext context) {
super(context);
}
