SMT求解

研究人员提出一种基于可满足性模理论（SMT）的自动化流程，能够将文本或形状等输入图案转化为迷宫结构，支持平面迷宫与三维编织迷宫的生成。