サービスなどさまざまな分野の計画作成に利用されています。組み合わせ問題の制約表現リソース制約cumulative制約cumulative制約は、リソースの同時利用数の上限を表現できます。人員ピークを平準化したスケジュールの立案や、リソース上限を固定したときの最短納期を計算するのに役立ちます。多次元の排他制約diffn制約diffn制約はn次元の排他関係(重なりの禁止)を簡潔に表現できます。船や倉庫等の空間に、形の異なる荷物を効率よく詰め、無駄な隙間を極力減らすことにも役立ちます。巡回制約cycle制約cycle制約は、船舶、鉄道、トラック、飛行機などの輸送問題を表現することが出来ます。事故や災害が発生した場合の代替手段や復旧ダイヤの計算にも応用できます。平準化制約among制約among制約は、平準化条件を表現することができます。勤務シフトの負荷分散や、生産順序の平準化条件を表現することができます。