NTI+cTI: a Logic Programming Termination Analyzer
Frédéric Mesnard, Étienne Payet · HAL (Le Centre pour la Communication Scientifique Directe) · 2023
We describe NTI+cTI, our logic programming termination analyzer that took part in the Termination Competition in 2022 and 2023 and won first place both years.The tool is built from two separate components, NTI for Non-Termination Inference and cTI for constraint-based Termination Inference, plus an overall main process.The source code is available on GitHub.