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
.