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