Hakusan is a confluence tool for first-order term rewrite systems.

PREREQUISITE 

Please install the following external tools:

  - "z3", https://github.com/Z3Prover/
  - "NaTT.exe", https://www.trs.cm.is.nagoya-u.ac.jp/NaTT/

HOW TO COMPILE

  sudo apt install ghc cabal-install
  cabal install --lib parsec
  make

The produced file "hakusan" is the tool.

HOW TO USE

  ./hakusan -sc <filename.trs>

./hakusan displays a help message.
