File name		Description
SolverFactory_instance		Private constructor. Use singleton method instance() instead.
SolverFactory_newMiniLearningHeap		
SolverFactory_newMiniLearningHeapEZSimp		
SolverFactory_newMiniLearningHeapExpSimp		
SolverFactory_newMiniLearningHeapRsatExpSimp		
SolverFactory_newMiniLearningHeapRsatExpSimpBiere		
SolverFactory_newMiniLearningHeapRsatExpSimpLuby		
SolverFactory_newGlucose21		
SolverFactory_newBestCurrentSolverConfiguration_DataStructureFactory		
SolverFactory_newGreedySolver		
SolverFactory_newDefaultAutoErasePhaseSaving		
SolverFactory_newDefaultMS21PhaseSaving		
SolverFactory_newBestWL		
SolverFactory_newBestHT		
SolverFactory_newBest17		
SolverFactory_newGlucose		
SolverFactory_newMiniLearningHeap_DataStructureFactory		
SolverFactory_newMiniLearning_DataStructureFactory_IOrder		
SolverFactory_newMiniLearningHeapEZSimpNoRestarts		
SolverFactory_newMiniLearningHeapEZSimpLongRestarts		
SolverFactory_newMiniSATHeap		
SolverFactory_newMiniSATHeapEZSimp		
SolverFactory_newMiniSATHeapExpSimp		
SolverFactory_newMiniSATHeap_DataStructureFactory		
SolverFactory_newBackjumping		
SolverFactory_newMinOneSolver		
SolverFactory_newAgeLCDS		
SolverFactory_newActivityLCDS		
SolverFactory_newSizeLCDS		
SolverFactory_newDefault		Default solver of the SolverFactory. This solver is meant to be used on
		challenging SAT benchmarks.
SolverFactory_defaultSolver		
SolverFactory_newLight		Small footprint SAT solver.
SolverFactory_lightSolver		
SolverFactory_newDimacsOutput		
SolverFactory_newStatistics		
SolverFactory_newParallel		
SolverFactory_newSATUNSAT		Two solvers are running in //: one for solving SAT instances, the other
		one for solving unsat instances.
SolverFactory_newSAT		That solver is expected to perform better on satisfiable benchmarks.
SolverFactory_newUNSAT		That solver is expected to perform better on unsatisfiable benchmarks.
SolverFactory_newConcise		
SolverFactory_newNoSimplification		
