Nếu không có chiến lược tìm được chỉ định trong các mô hình, sô cô la 3.2 sẽ tạo ra một mặc định. Trong nhiều trường hợp, chiến lược này sẽ không được đầy đủ để sản xuất chương trình biểu diễn đáp ứng và nó sẽ được cần thiết để xác định một chiến lược chuyên dụng, bằng cách sử dụng solver.set(...). Mặc định tìm kiếm chiến lược distincts biến mỗi loại và xác định một chiến lược tìm kiếm cụ thể cho từng loại:
đang được dịch, vui lòng đợi..