First!
CP and heuristics MathDoku solver with unit tests, sample application,
and sample data.