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/
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/