This is a project repository for CS4244 Project. This folder consists of code for both stage 1 and stage 2.
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 theAutomatedCNFGeneratorRunner.stats
This directory consists of all the statistics analysed for Random Generated CNF.
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.