The first argument is the solver. T

The first argument is the solver. The second indicates whether or not each solution (and associated resolution statistics) should be printed. The third argument indicates whether or not each branching decision should be printed. This may be useful for debugging.
In general, in order to have a reasonable amount of information, we set the first boolean to true and the second to false.

Kết quả (Việt) 1:

Đối số đầu tiên là người giải quyết. Thứ hai chỉ ra cho dù có hay không mỗi giải pháp (và số liệu thống kê liên quan đến độ phân giải) nên được in. Đối số thứ ba chỉ ra cho dù có hay không mỗi quyết định phân nhánh nên được in. Điều này có thể hữu ích để gỡ lỗi.Nói chung, để có một số tiền hợp lý của thông tin, chúng tôi thiết lập đầu tiên boolean để đúng và thứ hai để sai.

Kết quả (Việt) 2:

Đối số đầu tiên là những người giải quyết. Thứ hai chỉ ra hay không mỗi giải pháp (và số liệu thống kê liên quan đến độ phân giải) sẽ được in. Lập luận thứ ba cho biết có hay không quyết định mỗi nhánh sẽ được in. Điều này có thể hữu ích để gỡ lỗi.
Nói chung, để có một số tiền hợp lý của thông tin, chúng tôi đặt boolean đầu tiên thực sự và thứ hai là sai.