زمان‌بندی

مسئلهٔ زمان‌بندی یعنی تعیین اینکه هر کار چه زمانی و با کدام منبع انجام شود: کدام سفارش روی کدام ماشین، کدام پرستار در کدام شیفت، یا کدام بیمار در کدام نوبت. قیدهای این مسائل معمولاً زیاد و درهم‌تنیده‌اند: ظرفیت، ترتیب، استراحت، مهلت و عدالت.

برای بیشتر مسائل زمان‌بندی، سالور CP-SAT در OR-Tools بهترین نقطهٔ شروع است. متغیرهای بازه‌ای و قیدهایی مثل عدم‌تداخل و ظرفیت تجمعی، این مسائل را تقریباً همان‌طور که روی کاغذ تعریف می‌شوند مدل می‌کنند.

آموزش‌های زمان‌بندی این سایت، از کارخانه و بیمارستان تا خدمهٔ پرواز، در دستهٔ زمان‌بندی راهنمای جامع OR-Tools کنار هم آمده‌اند.