A B C D E G H I L M N O P R S T U V W

N

newCompetMiniLearningOPBClauseCardConstrMaxSpecificOrderIncrementalReductionToClause() - Static method in class org.sat4j.pb.SolverFactory

newCompetPBCPMixedConstrainsImplied() - Static method in class org.sat4j.pb.SolverFactory

newCompetPBCPMixedConstraints() - Static method in class org.sat4j.pb.SolverFactory

newCompetPBCPMixedConstraintsObjective() - Static method in class org.sat4j.pb.SolverFactory

newCompetPBCPMixedConstraintsObjectiveLearnJustClauses() - Static method in class org.sat4j.pb.SolverFactory

newCompetPBCPMixedConstraintsObjectiveNoLearning() - Static method in class org.sat4j.pb.SolverFactory

newCompetPBCPMixedConstraintsReduceToClause() - Static method in class org.sat4j.pb.SolverFactory

newCompetPBKillerClassic() - Static method in class org.sat4j.pb.SolverFactory

newCompetPBKillerFixed() - Static method in class org.sat4j.pb.SolverFactory

newCompetPBKillerRSAT() - Static method in class org.sat4j.pb.SolverFactory

newCompetPBResMixedConstraintsObjective() - Static method in class org.sat4j.pb.SolverFactory

newDefault() - Static method in class org.sat4j.pb.SolverFactory

Default solver of the SolverFactory.

newDimacsOutput() - Static method in class org.sat4j.pb.SolverFactory

newEclipseP2() - Static method in class org.sat4j.pb.SolverFactory

newLight() - Static method in class org.sat4j.pb.SolverFactory

Small footprint SAT solver.

newMiniLearningOPBClauseCardConstrMaxSpecificOrderIncrementalReductionToClause() - Static method in class org.sat4j.pb.SolverFactory

newMiniOPBClauseAtLeastConstrMax() - Static method in class org.sat4j.pb.SolverFactory

newMiniOPBClauseAtLeastMinPueblo() - Static method in class org.sat4j.pb.SolverFactory

newMiniOPBClauseCardMin() - Static method in class org.sat4j.pb.SolverFactory

newMiniOPBClauseCardMinPueblo() - Static method in class org.sat4j.pb.SolverFactory

newMiniOPBCounterBasedClauseCardConstrMax() - Static method in class org.sat4j.pb.SolverFactory

newPBCPAllPB() - Static method in class org.sat4j.pb.SolverFactory

newPBCPAllPBWL() - Static method in class org.sat4j.pb.SolverFactory

newPBCPAllPBWLPueblo() - Static method in class org.sat4j.pb.SolverFactory

newPBCPMixedConstrainsImplied() - Static method in class org.sat4j.pb.SolverFactory

newPBCPMixedConstraints() - Static method in class org.sat4j.pb.SolverFactory

newPBCPMixedConstraintsObjective() - Static method in class org.sat4j.pb.SolverFactory

newPBCPMixedConstraintsObjectiveLearnJustClauses() - Static method in class org.sat4j.pb.SolverFactory

newPBCPMixedConstraintsObjectiveNoLearning() - Static method in class org.sat4j.pb.SolverFactory

newPBCPMixedConstraintsReduceToClause() - Static method in class org.sat4j.pb.SolverFactory

newPBKillerClassic() - Static method in class org.sat4j.pb.SolverFactory

newPBKillerFixed() - Static method in class org.sat4j.pb.SolverFactory

newPBKillerRSAT() - Static method in class org.sat4j.pb.SolverFactory

newPBResAllPB() - Static method in class org.sat4j.pb.SolverFactory

newPBResAllPBWL() - Static method in class org.sat4j.pb.SolverFactory

newPBResAllPBWLPueblo() - Static method in class org.sat4j.pb.SolverFactory

newPBResMixedConstraintsObjective() - Static method in class org.sat4j.pb.SolverFactory

niceCheckedParameters(IVecInt, IVec<BigInteger>, boolean, BigInteger, ILits) - Static method in class org.sat4j.pb.constraints.pb.WatchPb

niceCheckedParametersForCompetition(int[], BigInteger[], boolean, BigInteger) - Static method in class org.sat4j.pb.constraints.pb.WatchPb

niceParameters(IVecInt, IVec<BigInteger>, boolean, BigInteger, ILits) - Static method in class org.sat4j.pb.constraints.pb.WatchPb

niceParametersForCompetition(int[], BigInteger[], boolean, BigInteger) - Static method in class org.sat4j.pb.constraints.pb.WatchPb

nonOptimalMeansSatisfiable() - Method in class org.sat4j.pb.PseudoOptDecorator

normalizedMaxWatchPbNew(UnitPropagationListener, ILits, IDataStructurePB) - Static method in class org.sat4j.pb.constraints.pb.MaxWatchPb

normalizedMaxWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger) - Static method in class org.sat4j.pb.constraints.pb.MaxWatchPb

normalizedMinWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, int) - Static method in class org.sat4j.pb.constraints.pb.MinWatchCardPB

Permet la cr?

normalizedMinWatchPbNew(UnitPropagationListener, ILits, IDataStructurePB) - Static method in class org.sat4j.pb.constraints.pb.MinWatchPb

normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger) - Static method in class org.sat4j.pb.constraints.pb.MinWatchPb

normalizedWatchPbNew(ILits, IDataStructurePB) - Static method in class org.sat4j.pb.constraints.pb.MaxWatchPb

normalizedWatchPbNew(ILits, IDataStructurePB) - Static method in class org.sat4j.pb.constraints.pb.MinWatchPb

normalizedWatchPbNew(ILits, IDataStructurePB) - Static method in class org.sat4j.pb.constraints.pb.PuebloMinWatchPb