2d-3d-construction

介绍了一种基于SMT的流程，用于从输入模式合成迷宫求解路径，并构建平面和3D迷宫结构。扩展了一篇会议论文，提供了详细的构建方法和SMT-LIB示例。