GitHub repository: martius-lab/puzzlegen
Primary language: Python
Description: Combinatorially Hard Games where the levels are procedurally generated