細部のアルゴリズム
様々な制約解決アルゴリズムの研究室
等式/不等式を高速に解く