Mint is a termination tool for first-order term rewrite systems.

PREREQUISITE 

Install the following external tools:

  - Z3
    https://github.com/Z3Prover/

Then set PATH so that z3 is available.


HOW TO COMPILE

For instance, if you are using Debian/Ubuntu, type the following commands:

  sudo apt install ghc cabal-install
  make

The produced file "mint" is the tool.

HOW TO USE

  ./mint <filename.ari>
     # outputs YES/NO and its proof/disproof.

./mint -h displays the usage.
