Package org.sosy_lab.java_smt.example

Class Bug216

java.lang.Object

org.sosy_lab.java_smt.example.Bug216

public class Bug216
extends Object

Constructor Summary

Constructors

Constructor	Description
Bug216()

Method Summary

Modifier and Type	Method	Description
void	closeSolver()
void	init()
void	mathsatSudokuTest()
void	princessSudokuTest()
void	z3SudokuTest()

Methods inherited from class java.lang.Object

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

Constructor Detail

Bug216

public Bug216()

Method Detail

init

public void init()
          throws InvalidConfigurationException

Throws:

InvalidConfigurationException

closeSolver

public final void closeSolver()

princessSudokuTest

public void princessSudokuTest()
                        throws InvalidConfigurationException,
                               InterruptedException,
                               SolverException

Throws:

InvalidConfigurationException

InterruptedException

SolverException

z3SudokuTest

public void z3SudokuTest()
                  throws InvalidConfigurationException,
                         InterruptedException,
                         SolverException

Throws:

InvalidConfigurationException

InterruptedException

SolverException

mathsatSudokuTest

public void mathsatSudokuTest()
                       throws InvalidConfigurationException,
                              InterruptedException,
                              SolverException

Throws:

InvalidConfigurationException

InterruptedException

SolverException