From Patterns to Maze Structures: SMT-Based Path Synthesis and 2D/3D Construction

Shengyi Wang

We present a pipeline for constructing maze structures from input patterns such as text or shapes. The central path-synthesis problem is encoded in Satisfiability Modulo Theories a…