CS4244 Project

This is a project repository for CS4244 Project. This folder consists of code for both stage 1 and stage 2.

Project Structure

• src/stage1
  This directory consists of all the source code of the SAT Solver.
• src/stage2
  This directory consists of all the source code of the Random CNF Generator.
• input
  This directory consists of all the input files that are used to test the SAT Solver.
• input/generated
  This directory consists of all the input files that are generated by using the AutomatedCNFGeneratorRunner.
• stats
  This directory consists of all the statistics analysed for Random Generated CNF.

FAQ

1. What version of Java is used?
This project is done using Java version 9.

2. How to run the SATSolver?
Preferably using this option to run. If you're using IDE like IntelliJ, you have to go to Run > Edit Configurations to add a new Application. Next, you have to choose SATSolver. Finally, now, you can click on run.

If you're not using IDE, you could run the following command java -jar SATSolver.

3. How to run the RandomCNFGenerator?
First, go to File > Project Structure > Libraries. Then, click the + button and choose lib folder. Next, in the same window, go to Module and select Dependencies. Make sure that lib is checked. Preferably using this option to run. If you're using IDE like IntelliJ, you have to go to Run > Edit Configurations to add a new Application. Next, you have to choose RandomCNFGenerator. Finally, now, you can click on run.