Second edition of the solver
Example run script, and speaker's notes.