add documentation for the Solvable class