Constant Field Values

Contents

• org.sosy_lab.*

org.sosy_lab.*

org.sosy_lab.java_smt.api.BasicProverEnvironment<T>

Modifier and Type	Constant Field	Value
public static final String	NO_MODEL_HELP	"Model computation failed. Are the pushed formulae satisfiable?"

org.sosy_lab.java_smt.example.Sudoku

Modifier and Type	Constant Field	Value
public static final int	SIZE	9