Constant Field Values

Contents

• org.sat4j.*

org.sat4j.*

org.sat4j.sat.SimplifierCommandComponent

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

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

public static final String	CLEAN	"Clean"
public static final String	RESTART	"Restart"