四角パズルを解くために 2 つの実装を行いました。1 つは上、左、幅、高さ (TLWH) を各四角形のパラメーターとして使用し、もう 1 つは上、左、下、右 (TLBR) を使用します。
何らかの理由で TLBR を使用した方がはるかに高速ですが、その理由はよくわかりません。そのため、TLWH の実装でどの制約がそれほど長くかかっているかを確認する方法があるかどうか疑問に思っていました。
ECLiPSe CLP ソリューションをプロファイリングする方法はありますか?
現在、Windows で TkEclipse を使用しています。