static ICDCL<MixedDataStructureDanielWL> |
SolverFactory.newBackjumping() |
static ICDCL<DataStructureFactory> |
SolverFactory.newBest17() |
static ICDCL<DataStructureFactory> |
SolverFactory.newBestHT() |
static ICDCL<DataStructureFactory> |
SolverFactory.newDefaultAutoErasePhaseSaving() |
static ICDCL<DataStructureFactory> |
SolverFactory.newDefaultMS21PhaseSaving() |
static ICDCL<DataStructureFactory> |
SolverFactory.newGlucose21() |
static ICDCL<DataStructureFactory> |
SolverFactory.newGreedySolver() |
static ICDCL<DataStructureFactory> |
SolverFactory.newMiniLearningHeapEZSimp() |
static ICDCL<DataStructureFactory> |
SolverFactory.newMiniLearningHeapEZSimpLongRestarts() |
static ICDCL<DataStructureFactory> |
SolverFactory.newMiniLearningHeapEZSimpNoRestarts() |
static ICDCL<DataStructureFactory> |
SolverFactory.newMiniLearningHeapRsatExpSimpLuby() |
static ICDCL<DataStructureFactory> |
SolverFactory.newMiniSATHeapExpSimp() |
static ICDCL<DataStructureFactory> |
SolverFactory.newMiniSATHeapEZSimp() |