I ended up creating a wrapper around MPAndroidCharts, picked it because it seems to be the one which is most configurable and popular. Unfortunately, the repo looks and perhaps is abandoned (
https://github.com/PhilJay/MPAndroidChart). For anyone else about to wander this road, it does the basics of displaying different types of graph and simple interactions fine (zoom / pan / tap). But it lacks scrubbing (= drag along the lines and see some feedback, for example moving time in a YT video).