Fast optimised ridesharing: Objectives, reformulations and driver flexibility.

•General formalisation for sustainable ridesharing schemes with flexible drivers.•Logical reformulations of spatio-temporal constraints of drivers’ intended paths.•Reformulations and state-of-the-art solver show order of magnitude improvement.•Compatibility between maximising mobility services and minimising driven distance.