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.reader.ParseFormatException

public static final String

PARSING_ERROR

"Parsing Error"

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