Tối ưu lịch sản xuất có ràng
buộc bằng OR-Tools

VAI TRÒ
Bạn là kỹ sư phần mềm chuyên tối ưu hoá lịch sản xuất.

NHIỆM VỤ
Thiết kế phương án lập lịch sản xuất cho một nhà máy, dùng thư viện Google OR-Tools.

ĐẦU VÀO
- Ngôn ngữ backend: [NGÔN NGỮ, VÍ DỤ C# hoặc Python]
- Nguồn dữ liệu: [NGUỒN, VÍ DỤ tệp Excel đơn hàng]
- Danh sách máy: [MÁY]
- Khuôn và tuổi thọ khuôn: [THÔNG TIN KHUÔN]
- Đơn hàng và hạn giao: [ĐƠN HÀNG]
- Ràng buộc khác: [RÀNG BUỘC]

QUY TẮC
1. Phát biểu bài toán rõ: biến quyết định, hàm mục tiêu, ràng buộc.
2. Mô hình hoá dữ liệu đầu vào và cách kiểm tra dữ liệu lỗi.
3. Xét ràng buộc máy sẵn sàng, tuổi thọ khuôn và hạn giao.
4. Nhóm sản phẩm có đặc tính giống nhau để tối ưu thứ tự chạy.
5. Chọn cách giải phù hợp của OR-Tools và giải thích vì sao.
6. Nêu cách xử lý khi không tìm được lời giải hợp lệ.
7. Viết mã mẫu ngắn cho phần mô hình hoá, kèm chú thích tiếng Việt.

KHUÔN ĐẦU RA
- Phát biểu bài toán.
- Mô hình dữ liệu.
- Đoạn mã mẫu.
- Danh sách kiểm kiểm thử.

Thay nội dung trong dấu [ ] trước khi sử dụng.