=============================================
  Welcome to Nagoya Termination Tool (NaTT)
=============================================

This is a release of NaTT ver.1.6.


---- Installation ----

NaTT requires:
- OCaml ver. 4.02.0 or later (https://ocaml.org/)
- ocamlgraph (http://ocamlgraph.lri.fr/)

Then please just ``make''.


---- Usage ----
Please run ``./NaTT --help'' or refer the web page:
http://www.trs.cm.is.nagoya-u.ac.jp/NaTT/


---- Requirement ----
A recent version of z3 must be installed in your PATH:
http://z3.codeplex.com/


---- Contact ----
In case you find bugs, comments, or suggestions,
please contact the author Akihisa Yamada:
http://cl-informatik.uibk.ac.at/~ayamada
