制約の連言の導入と，制約の優先度に関する制限の緩和(2つの制約を真に同じ 強さで指定する)のために，新たなクラス ConstraintSetを追加した．こ れは，制約(昨年度版と同様，1次方程式，stay, editの3種類)で組にすべきも のをグループ化するためのものである．そのインスタンスの生成時に，引数と して ConstraintSet.CONJUNCTIVEまたは ConstraintSet.OPTIMIZINGを与えることで，組にされた制約は，それぞれ連 言，または真に同じ強さを指定されたものとして，制約解消系内では処理され るようになっている．