public static MiniSat glucose ( final FormulaFactory f , final MiniSatConfig miniSatConfig , final GlucoseConfig glucoseConfig ) { return new MiniSat ( f , SolverStyle . GLUCOSE , miniSatConfig , glucoseConfig ) ; }
Returns a new Glucose solver with a given configuration .