AProVE-Summaries This repository contains method summaries for the Termination Problem Database (https://github.com/TermCOMP/TPDB) For further reference on AProVE see https://aprove.informatik.rwth-aachen.de/