シフト集合の改善

 次のパターンでは解がありません。

入集は、入りまたは単発入りですが、単発入りは、自動シフトでないために無視されます。

入りは、その前に長日をパターン上要求するために解なしとなります。

そこで、演算子を増やしました。または（非自動シフトを含）を追加しています。

ソフト制約でも同様に動作します。

リリースは、今週末位かと思います。