正確で詳細な制約付きレイアウト生成

ファクターグラフを用いて、空間制約を効果的にモデル化し、ユーザー要件に忠実なフロアプラン生成を実現する。