使用媒体编解码器的Android库，用于视频压缩和视频修剪

Question

我有一个Android应用，用户可以在其中上传任意大小的视频。谁能建议一个提供以下任务实现的Android库-  1.将视频修剪到给定的指定时间。  2.允许修改视频的分辨率和比特率。