@Override public void setVerbose(@Nullable PrintStream out, int level) { this.verbose = out; this.minimizer.setVerbose(out,level); }
optimizer.setVerbose(System.out,0);
@Override public void setVerbose(@Nullable PrintStream out, int level) { this.verbose = out; this.minimizer.setVerbose(out,level); }
optimizer.setVerbose(System.out,0);