Starting the solver. Most of the design is in place, though the search algorithm itself is not yet documented.