public static CleaneLing minimalistic ( final FormulaFactory f , final CleaneLingConfig config ) { return new CleaneLing ( f , SolverStyle . MINIMALISTIC , config ) ; }
Returns a new minimalistic CleaneLing solver with a given configuration .