Uses of Class
org.sat4j.pb.core.PBSolverResolution

Packages that use PBSolverResolution

Package	Description
org.sat4j.pb	Implementations of pseudo boolean solvers

Uses of PBSolverResolution in org.sat4j.pb

Methods in org.sat4j.pb that return PBSolverResolution

Modifier and Type	Method and Description
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.