実行可能性検討は、一連の拘束を満たすために選択された範囲内で解をサーチします。サーチが成功すると、解決策があることを知らせるメッセージが表示されます。拘束は、１つまたは複数の解析フィーチャーによって指定されます。