org.sat4j.multicore
Class SolverFactory

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

All Implemented Interfaces:

java.io.Serializable

public class SolverFactory
extends ASolverFactory<ISolver>

See Also:

Serialized Form

Method Summary

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

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

defaultSolver

public ISolver defaultSolver()

Specified by:

defaultSolver in class ASolverFactory<ISolver>

lightSolver

public ISolver lightSolver()

Specified by:

lightSolver in class ASolverFactory<ISolver>