public static CleaneLing minimalistic ( final FormulaFactory f ) { return new CleaneLing ( f , SolverStyle . MINIMALISTIC , new CleaneLingConfig . Builder ( ) . build ( ) ) ; }
Returns a new minimalistic CleaneLing solver .