org.sat4j.multicore
Class SolverFactory

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

All Implemented Interfaces:

Serializable

public class SolverFactory
extends ASolverFactory<IPBSolver>

See Also:

Serialized Form

Method Summary

IPBSolver	defaultSolver()
static SolverFactory	instance()
IPBSolver	lightSolver()
static ISolver	newManyCore()
static IPBSolver	newManyCorePB()

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

instance

public static SolverFactory instance()

newManyCore

public static ISolver newManyCore()

newManyCorePB

public static IPBSolver newManyCorePB()

defaultSolver

public IPBSolver defaultSolver()

Specified by:

defaultSolver in class ASolverFactory<IPBSolver>

lightSolver

public IPBSolver lightSolver()

Specified by:

lightSolver in class ASolverFactory<IPBSolver>