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

Packages that use PBSolverResolution

org.sat4j.pb

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.