org.sat4j.maxsat

Class SolverFactory

java.lang.Object

org.sat4j.core.ASolverFactory<IPBSolver>

org.sat4j.maxsat.SolverFactory

All Implemented Interfaces:

Serializable

public class SolverFactory
extends ASolverFactory<IPBSolver>

See Also:

Serialized Form

Method Summary

Methods

Modifier and Type	Method and Description
IPBSolver	defaultSolver()
static SolverFactory	instance() Access to the single instance of the factory.
IPBSolver	lightSolver()
static IPBSolver	newDefault()
static IPBSolver	newLight()
static Solver<DataStructureFactory>	newMiniMaxSAT() Builds a SAT solver for the MAX sat evaluation.

Methods inherited from class org.sat4j.core.ASolverFactory

createSolverByName, solverNames

Methods inherited from class java.lang.Object

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

Method Detail

newMiniMaxSAT

public static Solver<DataStructureFactory> newMiniMaxSAT()

Builds a SAT solver for the MAX sat evaluation. Full clause learning, no restarts,

Returns:

a

instance

public static SolverFactory instance()

Access to the single instance of the factory.

Returns:

the singleton of that class.

defaultSolver

public IPBSolver defaultSolver()

Specified by:

defaultSolver in class ASolverFactory<IPBSolver>

lightSolver

public IPBSolver lightSolver()

Specified by:

lightSolver in class ASolverFactory<IPBSolver>

newDefault

public static IPBSolver newDefault()

newLight

public static IPBSolver newLight()