Constant Field Values

Contents

• org.sat4j.*

org.sat4j.*

org.sat4j.AbstractLauncher

public static final String	ANSWER_PREFIX	"s "
public static final String	COMMENT_PREFIX	"c "
public static final String	SOLUTION_PREFIX	"v "

org.sat4j.minisat.constraints.card.MinWatchCard

public static final boolean	ATLEAST	true
public static final boolean	ATMOST	false

org.sat4j.minisat.core.ILits

public static final int

UNDEFINED

-1

org.sat4j.minisat.restarts.LubyRestarts

public static final int

DEFAULT_LUBY_FACTOR

32

org.sat4j.pb.constraints.pb.MaxWatchPb

public static final int

LIMIT_FOR_MAP

100

org.sat4j.pb.core.PBSolverCautious

public static final int

BOUND

10

org.sat4j.pb.core.PBSolverResCP

public static final long

MAXCONFLICTS

100000L

org.sat4j.reader.ParseFormatException

public static final String

PARSING_ERROR

"Parsing Error"

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"

org.sat4j.tools.ExtendedDimacsArrayReader

public static final int	AND	4
public static final int	ATLEAST	13
public static final int	ATMOST	14
public static final int	COUNT	15
public static final int	FALSE	1
public static final int	IFF	11
public static final int	IFTHENELSE	12
public static final int	IMPLIES	10
public static final int	NAND	5
public static final int	NOR	7
public static final int	NOT	3
public static final int	OR	6
public static final int	TRUE	2
public static final int	XNOR	9
public static final int	XOR	8