Satellite clock/decoupled clock estimation and PPP-AR - View it on GitHub