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