SAT-Solver A 3-CNF Satifsiability Solver using Genetic Algorithm Detailed information about this solver can be found in the Report.pdf file.