Skip to content

Latest commit

 

History

History
35 lines (24 loc) · 538 Bytes

ReadMe.md

File metadata and controls

35 lines (24 loc) · 538 Bytes

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