org.sat4j.maxsat
Class SolverFactory

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

All Implemented Interfaces:

java.io.Serializable

public class SolverFactory
extends org.sat4j.core.ASolverFactory<org.sat4j.pb.IPBSolver>

See Also:

Serialized Form

Constructor Summary

SolverFactory()

Method Summary

org.sat4j.pb.IPBSolver	defaultSolver()
org.sat4j.pb.IPBSolver	lightSolver()
static org.sat4j.pb.IPBSolver	newDefault()
static org.sat4j.pb.IPBSolver	newLight()
static org.sat4j.minisat.core.Solver<org.sat4j.minisat.core.ILits,org.sat4j.minisat.core.DataStructureFactory<org.sat4j.minisat.core.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 org.sat4j.minisat.core.Solver<org.sat4j.minisat.core.ILits,org.sat4j.minisat.core.DataStructureFactory<org.sat4j.minisat.core.ILits>> newMiniMaxSAT()

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

Returns:

a

defaultSolver

public org.sat4j.pb.IPBSolver defaultSolver()

Specified by:

defaultSolver in class org.sat4j.core.ASolverFactory<org.sat4j.pb.IPBSolver>

lightSolver

public org.sat4j.pb.IPBSolver lightSolver()

Specified by:

lightSolver in class org.sat4j.core.ASolverFactory<org.sat4j.pb.IPBSolver>

newDefault

public static org.sat4j.pb.IPBSolver newDefault()

newLight

public static org.sat4j.pb.IPBSolver newLight()