static PBSolverResolution |
SolverFactory.newCompetMinPBResLongWLMixedConstraintsObjectiveExpSimp() |
static PBSolverResolution |
SolverFactory.newCompetPBResHTMixedConstraintsObjectiveExpSimp() |
static PBSolverResolution |
SolverFactory.newCompetPBResLongHTMixedConstraintsObjectiveExpSimp() |
static PBSolverResolution |
SolverFactory.newCompetPBResLongWLMixedConstraintsObjectiveExpSimp() |
static PBSolverResolution |
SolverFactory.newCompetPBResMinHTMixedConstraintsObjective() |
static PBSolverResolution |
SolverFactory.newCompetPBResMinHTMixedConstraintsObjectiveExpSimp() |
static PBSolverResolution |
SolverFactory.newCompetPBResMixedConstraintsObjectiveExpSimp() |
static PBSolverResolution |
SolverFactory.newCompetPBResMixedConstraintsObjectiveExpSimp(PBDataStructureFactory dsf) |
static PBSolverResolution |
SolverFactory.newCompetPBResWLMixedConstraintsObjectiveExpSimp() |
static PBSolverResolution |
SolverFactory.newPBResAllPB() |
static PBSolverResolution |
SolverFactory.newPBResAllPBWL() |
static PBSolverResolution |
SolverFactory.newPBResAllPBWLPueblo() |
static PBSolverResolution |
SolverFactory.newPBResHTMixedConstraintsObjective() |
static PBSolverResolution |
SolverFactory.newPBResHTMixedConstraintsObjectiveExpSimp() |
static PBSolverResolution |
SolverFactory.newPBResMinHTMixedConstraintsObjective() |
static PBSolverResolution |
SolverFactory.newPBResMixedConstraintsObjective() |
static PBSolverResolution |
SolverFactory.newResolutionGlucose()
Resolution based solver (i.e. classic SAT solver able to handle generic
constraints.
|
static PBSolverResolution |
SolverFactory.newResolutionGlucose21()
Resolution based solver (i.e. classic SAT solver able to handle generic
constraints.
|
static PBSolverResolution |
SolverFactory.newResolutionGlucoseExpSimp()
Resolution based solver (i.e. classic SAT solver able to handle generic
constraints.
|
static PBSolverResolution |
SolverFactory.newResolutionGlucoseSimpleSimp()
Resolution based solver (i.e. classic SAT solver able to handle generic
constraints.
|
static PBSolverResolution |
SolverFactory.newSAT()
That solver is expected to perform better on satisfiable benchmarks.
|
static PBSolverResolution |
SolverFactory.newUNSAT()
That solver is expected to perform better on unsatisfiable benchmarks.
|