高品質な計画の統一と認証

既存の計算問題を統一し、高品質な計画の認証を可能にする。