第一章 例2.ltx

来自「一本关于人工智能的起步教材」· LTX 代码 · 共 17 行

!快餐店如何雇员问题
!每个工人连续工作5天，2天休息
!工人可以从一个星期的任一天开始，一个工人每天的工资是￥100

MIN 100 MWORK + 100 TWORK + 100 WWORK + 100 THWORK 

    + 100 FWORK + 100 SWORK + 100 SUWORK

SUBJECT TO

MON) MWORK +                 THWORK + FWORK + SWORK + SUWORK >= 16
TUE) MWORK + TWORK                  + FWORK + SWORK + SUWORK >= 15
WED) MWORK + TWORK + WWORK                  + SWORK + SUWORK >= 16
THU) MWORK + TWORK + WWORK + THWORK                 + SUWORK >= 19
FRI) MWORK + TWORK + WWORK + THWORK + FWORK                  >= 14
SAT)         TWORK + WWORK + THWORK + FWORK + SWORK          >= 12
SUN)                 WWORK + THWORK + FWORK + SWORK + SUWORK >= 18