org.sat4j.sat
Class Solvers

java.lang.Object
  org.sat4j.sat.Solvers

public class Solvers
extends Object

Field Summary

static String	LEARNING
static String	ORDERS
static String	PARAMS
static String	PHASE
static String	RESTARTS
static String	SIMP

Method Summary

protected static ICDCL	configureFromString(String solverconfig, ICDCL theSolver, ICDCLLogger logger)
static ICDCL	configureSolver(String[] args, ICDCLLogger logger)
static void	showAvailableConstraintsCleaningStrategies(ICDCLLogger logger)
static void	showAvailableLearning(ICDCLLogger logger)
static void	showAvailableOrders(ICDCLLogger logger)
static void	showAvailablePhase(ICDCLLogger logger)
static void	showAvailableRestarts(ICDCLLogger logger)
static <T extends ISolver> void	showAvailableSolvers(ASolverFactory<T> afactory, ICDCLLogger logger)
static <T extends ISolver> void	showAvailableSolvers(ASolverFactory<T> afactory, String framework, ICDCLLogger logger)
static void	showParams(ICDCLLogger logger)
static void	showSimplifiers(ICDCLLogger logger)
static void	stringUsage(ICDCLLogger logger)
static void	usage(ICDCLLogger logger)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ORDERS

public static final String ORDERS

See Also:

Constant Field Values

LEARNING

public static final String LEARNING

See Also:

Constant Field Values

RESTARTS

public static final String RESTARTS

See Also:

Constant Field Values

PHASE

public static final String PHASE

See Also:

Constant Field Values

PARAMS

public static final String PARAMS

See Also:

Constant Field Values

SIMP

public static final String SIMP

See Also:

Constant Field Values

Method Detail

configureFromString

protected static final ICDCL configureFromString(String solverconfig,
                                                 ICDCL theSolver,
                                                 ICDCLLogger logger)

stringUsage

public static void stringUsage(ICDCLLogger logger)

configureSolver

public static ICDCL configureSolver(String[] args,
                                    ICDCLLogger logger)

showAvailableRestarts

public static void showAvailableRestarts(ICDCLLogger logger)

showAvailablePhase

public static void showAvailablePhase(ICDCLLogger logger)

showAvailableLearning

public static void showAvailableLearning(ICDCLLogger logger)

showAvailableOrders

public static void showAvailableOrders(ICDCLLogger logger)

showParams

public static void showParams(ICDCLLogger logger)

showSimplifiers

public static void showSimplifiers(ICDCLLogger logger)

showAvailableConstraintsCleaningStrategies

public static void showAvailableConstraintsCleaningStrategies(ICDCLLogger logger)

showAvailableSolvers

public static <T extends ISolver> void showAvailableSolvers(ASolverFactory<T> afactory,
                                                            ICDCLLogger logger)

showAvailableSolvers

public static <T extends ISolver> void showAvailableSolvers(ASolverFactory<T> afactory,
                                                            String framework,
                                                            ICDCLLogger logger)

usage

public static void usage(ICDCLLogger logger)