Cream はThreadを用いて書かれている．これは，所与の制約条件を満たす解が複数ある場合，すべての解を求めると時間がかかりすぎたり，メモリ消費量が大きすぎることがあるので，1つの解ごとにユーザのプログラムに制御を移すためである．もちろんオブジェク…