static Solver<DataStructureFactory> |
SolverFactory.newBestWL() |
static Solver<DataStructureFactory> |
SolverFactory.newGlucose() |
static Solver<DataStructureFactory> |
SolverFactory.newMiniLearning(DataStructureFactory dsf,
IOrder order) |
static Solver<DataStructureFactory> |
SolverFactory.newMiniLearningHeap() |
static Solver<DataStructureFactory> |
SolverFactory.newMiniLearningHeap(DataStructureFactory dsf) |
static Solver<DataStructureFactory> |
SolverFactory.newMiniLearningHeapExpSimp() |
static Solver<DataStructureFactory> |
SolverFactory.newMiniLearningHeapRsatExpSimp() |
static Solver<DataStructureFactory> |
SolverFactory.newMiniLearningHeapRsatExpSimpBiere() |
static Solver<DataStructureFactory> |
SolverFactory.newMiniSATHeap() |
static Solver<DataStructureFactory> |
SolverFactory.newMiniSATHeap(DataStructureFactory dsf) |
static Solver |
SolverFactory.newSAT()
That solver is expected to perform better on satisfiable benchmarks.
|
static Solver |
SolverFactory.newUNSAT()
That solver is expected to perform better on unsatisfiable benchmarks.
|