Puzzler is a project mainly written in Java, it's free.

A TDD try to grow an algorithm to solve a puzzle game