ペア設定の仕方

サンプルがkindle本にあります。

そこで、下のようにGithubプロジェクトを開くをクリックします。

クリックすると（＋の場合は＋をクリック）すると、下のようにKindle本のサンプルが並んでいます。一番簡単なペア禁止をクリックします。

ここで、一通りサンプルを走らせる手順を説明します。他のサンプルを走らせる場合も同様です。

求解すると次のようなメッセージが出て求解できません。

名前付けて保存します。

適当な場所に適当な名前をつけて保存します。

今度は求解できました。

ペア制約を覗きます。

ペア制約の結果は、列制約の欄に出てくるのですが、制約名が見当たりませんので、右クリックして全て挿入で追加します。

ペア禁止結果が出てきて全てOKになっています。

このペア制約の意味は、「今月」、｢スタッフ１１」と｢スタッフ１２」は、夜勤入りが同じであってはならない。です。正確には、ソフト制約なので、なるべく一緒にしない、という意味になります。ここで、制約名は、何であってもよいです。他と区別するために必要なので、例えば、「A」とか「B」とかでもOKです。

「または」は、1名以上という意味ですが、通常は、A/B共「または」を指定おけばよいです。

曜日は、通常「今月」でよいと思います。オフセットは、特に必要がなければ、記述する必要はありません。（難しいので、無視してよいと思います。マニュアルは、一応、ヘルプ→ユーザマニュアルをクリックして、AならばB制約結果付近にオフセットの説明があります。）

他のサンプルについても、上と同様にして、制約とその動きを見ると記述の仕方が理解できると思います。なお、Kindle本を買わなくとも、サンプルは動作可能ですが、基本偏に結構重要なエッセンスが書いてあるので、一読されることをお勧めします。

また、Githubは、外部サーバになるのでインターネットの接続が必要になります。最新版で書いてあることが多いので、ストア版に移行することが必要となります。（ストア版は自動アップデートなので最新版をいちいちダウンロードしてインストールする手間が必要ありません）