/** Constructor */ public Solver(int timeout) { this.timeout = timeout; getInfo(); }
/** Constructor */ public Solver() { getInfo(); }