Resources on Puzzles#
Future work: A comprehensive resource for puzzles, preferably to play online, with an eye on their relevance to computer science.
One type of puzzle-related project could be to use logic-based tools such as Z3 to develop websites on which users can generate and play puzzles online.