Tag
Introduces an SMT-based pipeline for synthesizing maze solution paths from input patterns and constructing planar and 3D maze structures. Extends a conference paper with detailed construction methods and SMT-LIB examples.