public static MiniSat glucose ( final FormulaFactory f ) { return new MiniSat ( f , SolverStyle . GLUCOSE , new MiniSatConfig . Builder ( ) . build ( ) , new GlucoseConfig . Builder ( ) . build ( ) ) ; }
Returns a new Glucose solver .