Horus is a basic Higher-Order rewriting and unification tool for complexity analysis of different Higher-Order formalisms. It is conceived to be simple and modular, so it can be used by other projects as well.
You can compile the project on any system that satisfies all dependencies below:
-
Stack package management,
-
GHC v8.8.3 — see the Haskell Platform installation instructions,
-
System build dependency: Z3, installation on Ubuntu is easy
sudo apt-get install z3 libz3-dev