Constant Field Values

Contents

• org.sat4j.*

org.sat4j.*

org.sat4j.sat.SimplifierCommandComponent

Modifier and Type	Constant Field	Value
public static final String	SIMPLIFICATION_EXPENSIVE	"Expensive reason simplification"
public static final String	SIMPLIFICATION_NO	"No reason simplification"
public static final String	SIMPLIFICATION_SIMPLE	"Simple reason simplification"

org.sat4j.sat.Solvers

Modifier and Type	Constant Field	Value
public static final String	LEARNING	"LEARNING"
public static final String	ORDERS	"ORDERS"
public static final String	PARAMS	"PARAMS"
public static final String	PHASE	"PHASE"
public static final String	RESTARTS	"RESTARTS"
public static final String	SIMP	"SIMP"

org.sat4j.sat.VerySimpleCommandPanel

Modifier and Type	Constant Field	Value
public static final String	CLEAN	"Clean"
public static final String	RESTART	"Restart"