Term Rewrite System

This was my undergraduate dissertation, you can read the dissertation here.

Requirements

• Maven 3
• Java 8
• GNU Make

Setup

Compiling the app using make by running

$ make build

Or do it the simple Maven way,

$ mvn clean package

Run

Run the app using Make command,

$ make run

Or run the jar file in target/rewritesystem-1.0-SNAPSHOT.jar

$ java -jar target/rewritesystem-1.0-SNAPSHOT.jar