public static CleaneLing full(final FormulaFactory f, final CleaneLingConfig config) {
        return new CleaneLing(f, SolverStyle.FULL, config);
    }
public static CleaneLing full ( final FormulaFactory f , final CleaneLingConfig config ) { return new CleaneLing ( f , SolverStyle . FULL , config ) ; }
Returns a new full CleaneLing solver with a given configuration.
@param f      the formula factory
@param config the configuration
@return the solver