What are the options to export a audio file with speed and pitch changed?

Question

I\'m trying to make an Android app that simply play and exports audio files with the speed and pitch chosen by the user.

Since API level 23 MediaPlayer gives you Play