sc3.SeqExpr(min,max,Type,List)

が書式です。
■ SeqLEの結果を1ビットで返すようにした制約関数です。
満足したときTrueが返ります。Typeは、次のように指定します。

Type 0: ΣList <=max
Type 1: ΣList >=min
Type 2: ΣList >=min && ΣList <=max

■ 結果は通常のブール変数となるので、それを用いてハード制約もしくはソフト制約化することも可能です。
■サンプルは、seq_expr.nurse3です。スタッフ3でソフトエラーが発生していますが、コストが１であることに注意してください。
AddSoftは、False となっているビット数をカウントします。最適システムは、トータルコストが最小となるように作用します。
SeqExprからFalseが返るとき、不等式制約を満足しないことを意味します。不等式部で何ビットのエラーになっているかは感知しません。
SeqExprからTrueが返るとき、不等式制約を満足していることを意味します。

import sc3



def 公休設定():
    for person in 公休属性.keys():
        value=公休属性[person]#記載がないのは制約なし
        print(staffdef[person]+'の公休数は'+str(value)+'回に制約')

        s="公休数設定Python"+' '+staffdef[person]#Keyword +space +variable words
        min=value
        max=value
        type=2
        list=[]
        for day in 今月:
            list.append(sc3.GetShiftVar(person,day,'公休'))

        A=sc3.SeqExpr(min,max,type,list)
        sc3.AddSoft(A,s,2) #falseをソフトカウントする

公休設定()