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

Packages that use PBSolverResolution

org.sat4j.pb

Implementations of pseudo boolean solvers

Uses of PBSolverResolution in org.sat4j.pb

Methods in org.sat4j.pb that return PBSolverResolution

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.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.