This Rep contains the project of our SAT Solver.