Library for backtracking with customizable search for moves
A game engine for generic puzzle design and problem solving
An undirected graph constraint solver for node and edge colors