/* * String representation of Solvable */ const char *string()