[tkosan]

Lesson 6 at the following website explains the fundamentals of how the solver works:

http://patternmatics.org/temp_1/mathfuture/

The other lessons explain some of the concepts used in lesson 6.