About
This is a fully automatic termination tool for first-order term rewrite
systems.
Download
- Mint 0.4:
mint-0.4.tgz
(June 30, 2026: First release. This version participates in termCOMP 2026.)
Usage
Usage is
$ mint [option] <filename.ari>
Here the input file is specified in the
ARI format.
The tool outputs YES if termination is proved, NO if
termination is disproved, and MAYBE if the tool does not reach
any conclusion.
References
tba
Contact