@asmeurer @srjoglekar246 
In future, we might want to remove the algorithm parameter. Unless we have 2 competing algorithms such that algo1 is faster for some cases and algo2 for others, there is no use of having this parameter. Assuming that we have many SAT solvers, we always call the most optimum one from satisfiable and deprecate the others. To accomplish the removal of the parameter without breaking user applications, we could set the parameter to None by default. If someone explicitly provides an algorithm, we issue a warning but continue with our standard SAT solver.