CS 4365.HON Project 3

Resolution Principle Prover

Group Member Names

Terrence Park
Skye Pekerti

List of Source Files

• Clause.java
• Driver.java
• Variable.java

Platform

Windows/MacOS

Problems Encountered

No problems encountered.

Running the Program

IMPORTANT: Have at least java 1.8 when running

Windows:

1. Open command prompt
2. Move to the directory with the jar file
3. Run the command java -jar ResolutionProver.jar <inputFile>

MacOS:

1. Open Terminal
2. Move to the directory with the jar file
3. Run the command java -jar ResolutionProver.jar <inputFile>