public final class SolverFactory extends ASolverFactory<IPBSolver>
createSolverByName, solverNames
public static SolverFactory instance()
public static PBSolverResolution newPBResAllPB()
public static PBSolverCP newPBCPAllPB()
public static IPBSolver newOPBStringSolver()
public static PBSolverCP newPBCPMixedConstraints()
public static PBSolverCP newPBCPMixedConstraintsObjective()
public static PBSolverCP newCompetPBCPMixedConstraintsObjective()
public static PBSolverCP newCompetPBCPMixedConstraintsMinObjective()
public static PBSolverCP newCompetPBCPMixedConstraintsLongMaxObjective()
public static PBSolverCP newCompetPBCPMixedConstraintsLongMinObjective()
public static PBSolverCP newPBCPMixedConstraintsObjectiveLearnJustClauses()
public static PBSolverCP newCompetPBCPMixedConstraintsObjectiveLearnJustClauses()
public static PBSolverCP newPBKillerRSAT()
public static PBSolverCP newPBKillerClassic()
public static PBSolverCP newPBKillerFixed()
public static PBSolverCP newCompetPBKillerRSAT()
public static PBSolverCP newCompetPBKillerClassic()
public static PBSolverCP newCompetPBKillerFixed()
public static PBSolverCP newMiniLearningOPBClauseCardConstrMaxSpecificOrderIncrementalReductionToClause()
public static PBSolverCP newPBCPMixedConstraintsObjectiveNoLearning()
public static PBSolverResolution newPBResMixedConstraintsObjective()
public static PBSolverResolution newCompetPBResWLMixedConstraintsObjectiveExpSimp()
public static PBSolverResolution newCompetPBResHTMixedConstraintsObjectiveExpSimp()
public static PBSolverResolution newCompetPBResLongHTMixedConstraintsObjectiveExpSimp()
public static PBSolverResolution newCompetPBResLongWLMixedConstraintsObjectiveExpSimp()
public static PBSolverResolution newCompetMinPBResLongWLMixedConstraintsObjectiveExpSimp()
public static PBSolverResolution newCompetPBResMixedConstraintsObjectiveExpSimp(PBDataStructureFactory dsf)
public static PBSolverResolution newPBResHTMixedConstraintsObjective()
public static PBSolverResolution newCompetPBResMinHTMixedConstraintsObjective()
public static PBSolverResolution newPBResMinHTMixedConstraintsObjective()
public static PBSolverResolution newCompetPBResMixedConstraintsObjectiveExpSimp()
public static PBSolverResolution newPBResHTMixedConstraintsObjectiveExpSimp()
public static PBSolverResolution newCompetPBResMinHTMixedConstraintsObjectiveExpSimp()
public static PBSolverClause newPBCPMixedConstraintsReduceToClause()
public static PBSolverCautious newPBCPMixedConstraintsCautious(int bound)
public static PBSolverCautious newPBCPMixedConstraintsCautious()
public static PBSolverResCP newPBCPMixedConstraintsResCP(long bound)
public static PBSolverResCP newPBCPMixedConstraintsResCP()
public static PBSolverWithImpliedClause newPBCPMixedConstrainsImplied()
public static PBSolverCP newMiniOPBClauseAtLeastConstrMax()
public static PBSolverResolution newPBResAllPBWL()
public static PBSolverCP newPBCPAllPBWL()
public static PBSolverResolution newPBResAllPBWLPueblo()
public static PBSolverCP newPBCPAllPBWLPueblo()
public static PBSolverCP newMiniOPBClauseCardMinPueblo()
public static PBSolverCP newMiniOPBClauseCardMin()
public static PBSolverCP newMiniOPBClauseAtLeastMinPueblo()
public static IPBSolver newCuttingPlanes()
public static IPBSolver newCuttingPlanesAggressiveCleanup()
public static IPBSolver newResolution()
public static IPBSolver newBoth()
public static IPBSolver newSATUNSAT()
public static PBSolverResolution newSAT()
public static PBSolverResolution newUNSAT()
public static PBSolverResolution newResolutionGlucose()
public static PBSolverResolution newResolutionGlucose21()
public static PBSolverResolution newResolutionGlucoseSimpleSimp()
public static PBSolverResolution newResolutionGlucoseExpSimp()
public static IPBSolver newSimpleSimplification()
public static IPBSolver newResolutionSimpleRestarts()
public static IPBSolver newResolutionMaxMemory()
public static PBSolver newDefault()
the same method, polymorphic, to be called from an
instance of ASolverFactory.
public static IPBSolver newDefaultNonNormalized()
the same method, polymorphic, to be called from an
instance of ASolverFactory.
public PBSolver defaultSolver()
newDefaultOptimizer()
defaultSolver
in class ASolverFactory<IPBSolver>
public static IPBSolver newDefaultOptimizer()
newDefault()
instead.public static IPBSolver newLight()
the same method, polymorphic, to be called from an
instance of ASolverFactory.
public IPBSolver lightSolver()
lightSolver
in class ASolverFactory<IPBSolver>
public static IPBSolver newEclipseP2()
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.