org.sosy_lab.java_smt.example

Class SMTHandler

java.lang.Object

org.sosy_lab.java_smt.example.SMTHandler

public class SMTHandler
extends Object

Constructor Summary

Constructors

Constructor and Description
SMTHandler()

Method Summary

Modifier and Type	Method and Description
void	SMTSetup(String[] sudokuInput)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SMTHandler

public SMTHandler()

Method Detail

SMTSetup

public void SMTSetup(String[] sudokuInput)
              throws InvalidConfigurationException,
                     InterruptedException,
                     SolverException

Parameters:

sudokuInput - Array of Strings with exactly 9 entrys, each 9 chars long. Containing only numbers 1-9 and '.' for unknown numbers.

Throws:

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.

InvalidConfigurationException

InterruptedException