I have worked with two professors at the University of Alberta on a research project recreating and solving puzzles using C++. We wrote a paper called A Demonstration of Anhinga: A Mixed-Initiative EPCG Tool for Snakebird, which focused on improving procedural content generation for video games.