To figure out if an arbitrary set of shapes can tile the plane is hard, undecidable, to be precise. This project is an attempt to take a symbolic programming-based approach look for local solutions.

We used MIT Scheme to implement a system that addresses this problem in part, while remaining flexible enough to be easily extended to generate new shapes capable of tiling the plane.