public static MiniSat miniSat ( final FormulaFactory f , final MiniSatConfig config ) { return new MiniSat ( f , SolverStyle . MINISAT , config , null ) ; }
Returns a new MiniSat solver with a given configuration .