public static EncodingResult resultForMiniSat ( final FormulaFactory f , final MiniSat miniSat ) { return new EncodingResult ( f , miniSat , null ) ; }
Constructs a new result which adds the result directly to a given MiniSat solver .