Summary

This master's thesis studies how logic puzzles can be modelled and interacted with inside Ludii, extending the platform toward broader support for puzzle-like forms of play and analysis.