Games

I have a growing interest in puzzle and game development, both as research tools for studying difficulty and explanation, and just for fun.

Combination

Combination is a puzzle game originally released on the iPhone in 2008, now reimplemented in LOVE2D. It uses constraint programming to automatically generate puzzles. You can play it in your browser or download it from itch.io.

demystify

demystify is a Python tool for explaining how to solve puzzle games. Unlike a constraint solver that finds a solution quickly, demystify uses MUS (Minimal Unsatisfiable Subsets) to produce step-by-step explanations of how a human could solve the puzzle.

bloomsweeper

A Minesweeper-like puzzle game written in Lua with LOVE2D.