public class SolverFactory extends ASolverFactory<IPBSolver>
Modifier and Type | Method and Description |
---|---|
IPBSolver |
defaultSolver()
To obtain the default solver of the library.
|
static SolverFactory |
instance()
Access to the single instance of the factory.
|
IPBSolver |
lightSolver()
To obtain a solver that is suitable for solving many small instances of
SAT problems.
|
static IPBSolver |
newDefault() |
static IPBSolver |
newLight() |
static Solver<DataStructureFactory> |
newMiniMaxSAT()
Builds a SAT solver for the MAX sat evaluation.
|
createSolverByName, solverNames
public static Solver<DataStructureFactory> newMiniMaxSAT()
public static SolverFactory instance()
public IPBSolver defaultSolver()
ASolverFactory
defaultSolver
in class ASolverFactory<IPBSolver>
ASolverFactory.lightSolver()
public IPBSolver lightSolver()
ASolverFactory
lightSolver
in class ASolverFactory<IPBSolver>
ASolverFactory.defaultSolver()
public static IPBSolver newDefault()
public static IPBSolver newLight()
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.