全局约束满足方法将生成问题重新表述为约束满足问题（CSP），并设计了一种完整的编码，可由现代约束编程求解器求解。