Library for Trover Saves the Universe