At the moment it doesn't look like you show -how- the solver solves the problem. Showing how your solver works, by visualizing backtracking / guesses it makes, would be really cool.
if its just a black box and it comes up with the solution - thats magic.