README.md

Process to run project:

CDCLSolver\runnable\CDCLSolver.jar is the file to run the program.
The code is intended to run on a Windows machine, it has not been tested on any other operating system.
In order to see output, the code must be run in a command prompt.

To run, follow these steps:

1. Open your command prompt in the project main directory (CDCLSolver\)
2. run the following command: "java -jar .\runnable\CDCLSolver.jar {filename}"
   1. The filename argument can be omitted to see a preset batch of files to be executed.
   2. The file specified by the filename argument must be present in either CDCLSolver\runnable\inputs\sat or CDCLSolver\runnable\inputs\sat
   3. Examples of accepted file names are: "block0", "block0.cnf", and "add4.cnf"