Refactored tests a bit.
Updated documentation.
Took ToySolver in use as a SAT solver.
Tests for ToySolver-based problem solving.