本調査研究は、ブール多項式環上のグレブナ基底を求める制約ソルバーを製作 し提供することにより、この手法をより多くの人に紹介することと、知識処理 を実現する上で集合に関する制約を扱う必要がある人に対して、計算機代数に 基づく洗練された集合制約ソルバーを推論エンジンとして提供することを目的 とする。さらに、IFS として公開されている GDCC用の制約解消系としても提 供する。