added the propagator library

because why the hell not