CSC384 Project Generic Puzzle Synthesis and Categorization from Pure CSP Definitions For a detailed writeup of this project, see writeup.pdf.