public class SMTHandler extends Object
| Constructor and Description |
|---|
SMTHandler() |
public void SMTSetup(String[] sudokuInput) throws InvalidConfigurationException, InterruptedException, SolverException
sudokuInput - Array of Strings with exactly 9 entrys, each 9 chars long. Containing only
numbers 1-9 and '.' for unknown numbers.SolverException - Sets up SMT Solver Interpol in default configuration.
Transforms @sudokuInput into usable IntegerFormula, sets up constrains for an 9x9 Sudoku
and trys to solve it. In case of a solvable Sudoku, will print solved Sudoku. In case of an
not solvable Sudoku, an Error will be printed.InvalidConfigurationExceptionInterruptedException