org.sat4j.maxsat
Class SolverFactory

java.lang.Object
  org.sat4j.core.ASolverFactory<IPBSolver>
      org.sat4j.maxsat.SolverFactory

All Implemented Interfaces:

java.io.Serializable

public class SolverFactory
extends ASolverFactory<IPBSolver>

See Also:

Serialized Form

Constructor Summary

SolverFactory()

Method Summary

IPBSolver	defaultSolver()
IPBSolver	lightSolver()
static IPBSolver	newDefault()
static IPBSolver	newLight()
static Solver<ILits,DataStructureFactory<ILits>>	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

Constructor Detail

SolverFactory

public SolverFactory()

Method Detail

newMiniMaxSAT

public static Solver<ILits,DataStructureFactory<ILits>> newMiniMaxSAT()

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

Returns:

a

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()